Skip to content

ByteCodeSubsystemsDescription

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 1 revision

One of the end goals of the MOBIUS project is the production of PCC certificates for Java. To accomplish this goal, reading, writing, manipulating, specifying, and reasoning about Java bytecode is mandatory.

Version: 1 Time: Fri Mar 28 15:58:16 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar
Clone this wiki locally