A prototype interpreter for CMS
Jam:
an extension of Java 1.0 with mixins
FJsc: (Extended) Featherweight Java
smart compiler
CoFJ: a protototype implementation of Corecursive Featherweight Java
with Coinductive Logic Programming
A protototype meta-interpreter for Prolog with co-facts
Runtime Monitoring Language (RML) 
Back to previous page
Please send suggestions and comments to: Davide Ancona davide.ancona@unige.it
Last Updated: September, 2019