2. Virtual Machine Specification

This chapter contains a description of the virtual machine implemented by avram, from the point of view of a person wishing to write a compiler that generates code for it. Before reading this chapter, readers should at least skim User Manual in order to see the big picture. Topics covered in this chapter include data representations, virtual code semantics, and file formats. A toy programming language is introduced for illustrative purposes. The sections in this chapter might not make sense if read out of order the first time through.

This document was generated on November 8, 2012 using texi2html 1.82.