Email Gateway (Aug 18 2022 at 17:22): Email Gateway (Aug 18 2022 at 17:22):From: Gerwin Klein <gerwin.klein@nicta.com.au>
We're pleased to announce the availability of another new entry in the AFP:
LightweightJava by Rok Strniša and Matthew Parkinson
Abstract:
A fully-formalized and extensible minimal imperative fragment of Java.
URL:
http://afp.sourceforge.net/entries/LightweightJava.shtml
Cheers,
Gerwin
Last updated: Apr 24 2024 at 08:20 UTC