Source code for the TopHat implementation
收藏B2FIND2026-03-21 收录
下载链接：
https://b2find.eudat.eu/dataset/12f46950-e91a-519d-9e00-4f51db1b5383
下载链接
链接失效反馈官方服务：
资源简介：
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会议论文集……
