Source code for the TopHat implementation
收藏B2FIND2026-03-21 收录
官方服务：
资源简介：
Source code accompanying the paper: Steenvoorden, T.J., Naus, N. & Klinik, M. (2019). TopHat: A formal foundation for task-oriented programming. In E. Komendantskaya (Ed.), PPDP...
本源代码随附于以下论文：Steenvoorden, T.J.、Naus, N. 与 Klinik, M.（2019年）。《TopHat：面向任务编程的形式化基础》，收录于E. Komendantskaya（主编）的PPDP会议论文集……
