-
Source code for the symbolic TopHat execution engine
Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st... -
Source code for the TopHat implementation
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... -
Source code of the resource analysis compiler
Source code accompanying the paper Markus Klinik, Jurriaan Hage, Jan Martin Jansen, and Rinus Plasmeijer. Predicting resource consumption of higher-order workflows. In... -
Source code of the resource-time analysis compiler
Source code accompanying the paper: Klinik, M., Jansen, J.M. & Plasmeijer, R. (2017). The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. In N. Wu...