User:Vkuncak/Books/Computer Language Algorithms and Tools


 * Introduction


 * Programming language
 * Formal language
 * Semantics
 * Interpreter (computing)
 * Compiler


 * Regular Languages


 * Regular language
 * Regular expression


 * Context-Free Languages


 * Context-free grammar
 * Parsing
 * Earley parser
 * CYK algorithm


 * Type Systems


 * Type system


 * Syntax-Directed Translation


 * Stack machine
 * Register machine
 * Code generation (compiler)


 * Abstract Interpretation


 * Control flow graph
 * Abstract interpretation
 * Program optimization


 * Specification, Verification and Synthesis


 * Formal methods
 * Program verification
 * Program synthesis