[Oberon] Slim binaries / OMI / Juice implementation details availability

Mayson Lancaster maysonl at gmail.com
Thu Aug 30 10:50:41 CEST 2018


Michael Franz's dissertation:
ftp://ftp.inf.ethz.ch/pub/publications/dissertations/th10497.ps.gz

has a description of the techniques used, which may be useful in
conjunction with the Juice code found in the github repos Colby linked
to.


More information about the Oberon mailing list