Will only be concerned with interpreting abstract syntax for the toy languages, not with parsing or real code generation. Machine Code Characteristics Explicit registers for values and intermediate results. Low-level machine instructions to implement operations. Control flow based on labels and conditional branches. Strong static type-checking.
Classes serve as primary structuring mechanism.
Automatic heap allocation and garbage collection. Standard ML Primarily functional language. Strong, static type inference. Simple, uniform, powerful recursive datatype mechanism. Recursion is primary control structure.