Work in progress
¶
Grammars
Formal grammars
Chomsky hierarchy
Regular grammars
Context-free grammars
¶
Semantics
Operationnal semantic
Denotational semantic
Axiomatic semantic
¶
IR
Abstract syntax tree (AST)
Bytecode
Static single-assignment form (SSA)
Control flow graph