Skip to content

Compiler Construction

← Back to Domain-Specific Abstractions by Domain

5 domain-specific abstractions whose origin domain is Compiler Construction.

  • Code generation (compiler) — The compiler phase that translates an intermediate representation into target instructions while selecting operations, allocating resources, and preserving program semantics.
  • ECLR-attributed grammar — An LR-attributed grammar class that groups inherited attributes into equivalence classes so a one-pass compiler generator can reuse evaluation structure and reduce attribute-handling overhead.
  • Intermediate representation — Represent a program inside a compiler or virtual machine in a typed form designed for analysis, optimization, transformation, and translation between source and target languages.
  • Lambda lifting — A semantics-preserving program transformation that removes local free variables by parameterization and promotes nested functions to a broader or global scope.
  • Semantic analysis (compilers) — The compiler phase that checks context-sensitive program meaning and annotates parsed syntax before intermediate-code generation.