On-line and off-line partial evaluation: semantic specifications and correctness proofs

DOI10.1017/S0956796800001453zbMath0846.68062MaRDI QIDQ4880487

Charles Consel, Siau-Cheng Khoo

Publication date: 12 September 1996

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

logical relationssemantic specificationscore semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Proving the correctness of recursion-based automatic program transformations

Cites Work

• Two-level semantics and abstract interpretation
• Automatic binding time analysis for a typed \(\lambda\)-calculus
• Automatic autoprojection of higher order recursive equations
• Abstract Interpretation, Logical Relations, and Kan Extensions
• Two-Level Functional Languages

This page was built for publication: On-line and off-line partial evaluation: semantic specifications and correctness proofs