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