cprover
/builddir/build/BUILD/cbmc-cbmc-5.10/doc/architectural/front-end-languages-generating-codet-from-multiple-languages.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \page front-end-languages-generating-codet-from-multiple-languages Front-end languages: generating codet from multiple languages
3 
4 \author Martin Brain, Peter Schrammel
5 
6 ## language_uit, language_filest, languaget classes: ##
7 
8 ### Purpose ###
9 
10 To be documented.
11 
12 ### Parse ###
13 
14 To be documented.
15 
16 ### Typecheck ###
17 
18 To be documented.
19 
20 ### Final ###
21 
22 To be documented.
23 
24 ## Java bytecode ##
25 
26 ### Explain how a java program / class is represented in a .class ###
27 
28 To be documented.
29 
30 ### Explain the 2 step conversion from bytecode to codet ###
31 
32 To be documented.
33 
34 ### A worked example of converting java bytecode to codet ###
35 
36 To be documented.