Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers

Project Details

Short titleSemantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers
StatusActive
Effective start/end date1/04/24 → 31/03/27

Funding

  • Engineering & Physical Science Research Council