Explore projects
-
compilerconstruction / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
-
-
-
This repo is for a publication which aims at unifying the ICTAC 2015 paper with related theoretical elements introduced by Judith's Master's dissertation. The target journal is: http://journals.cambridge.org/jid_MSC
Updated -
Updated
-
-
Wietze Mulder / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Extending the cost analysis with cost over time
Updated -
An automatic code review tool for student Java assignments.
Updated -
-
Updated
-
Updated
-
Updated
-
Updated