A computational formalization for partial evaluation

DOI10.1017/S0960129597002405zbMath0883.68091OpenAlexW1982122213MaRDI QIDQ4366769

Olivier Danvy, John Hatcliff

Publication date: 20 November 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129597002405

zbMATH Keywords

computational metalanguage

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Unnamed Item ⋮ Three Syntactic Theories for Combinatory Graph Reduction ⋮ Syntactic Type Soundness for the Region Calculus ⋮ Cut-free Gentzen calculus for multimodal CK

This page was built for publication: A computational formalization for partial evaluation