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...
