Source code for the TopHat implementation
收藏B2FIND2026-04-29 收录
官方服务：
资源简介：
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会议论文集……
