- Author
- Martin Brain, Peter Schrammel
Purpose
To be documented.
Parse
To be documented.
Typecheck
To be documented.
Final
To be documented.
Java bytecode
Explain how a java program / class is represented in a .class
To be documented.
Explain the 2 step conversion from bytecode to codet
To be documented.
A worked example of converting java bytecode to codet
To be documented.