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/05/2431/03/27

Funding

  • Engineering & Physical Science Research Council