cprover
Front-end languages: generating codet from multiple languages
Author
Martin Brain, Peter Schrammel

language_uit, language_filest, languaget classes:

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.