Compiler Design Programming Languages

Research Frontiers in Compositional Semantics and Modular Verification

Study of compositional semantic frameworks that enable modular reasoning about program behavior and facilitate incremental compiler verification.

All Compiler Design & Programming Languages PhD categories