Modular Denotational Semantics for Compiler Construction
No abstract available.
Related papers
- Transformations of denotational semantics in semantics directed compiler generation PLDI 1986
- Modular monadic meta-theory ICFP 2013
- Constructing language processors with algebra combinators GPCE 2007
- Modular interpreters for the masses: implicit context propagation using object algebras GPCE 2015
- Experience with an Experimental Compiler Generator Based on Denotational Semantics PLDI 1982
- Modular Denotational Semantics for Effects with Guarded Interaction Trees POPL 2024
- Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory POPL 2025
- Modular Relaxed Dependencies in Weak Memory Concurrency ESOP 2020