Source code for the TopHat implementation
收藏B2FIND2026-04-29 收录
下载链接：
https://b2find.eudat.eu/dataset/a1ed4093-c0c2-567e-8353-3c42e58a4363
下载链接
链接失效反馈官方服务：
资源简介：
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：面向任务编程（task-oriented programming）的形式化基础》，收录于E. Komendantskaya 主编的PPDP会议论文集……
