A computational formalization for partial evaluation

DOI10.1017/S0960129597002405MaRDI QIDQ4366769zbMATH OpenOpenAlexFDO

Authors John Hatcliff, Olivier Danvy

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)

Recommendations

• scientific article; zbMATH DE number 2090857
• Projection Factorisations in Partial Evaluation
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency

Cited in

(12)

• Partial evaluation of computation process, revisited.
• Three Syntactic Theories for Combinatory Graph Reduction
• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• scientific article; zbMATH DE number 1231611 (Why is no real title available?)
• scientific article; zbMATH DE number 1088039 (Why is no real title available?)
• scientific article; zbMATH DE number 2036333 (Why is no real title available?)
• scientific article; zbMATH DE number 2090857 (Why is no real title available?)
• Syntactic type soundness for the region calculus
• Automating Side Conditions in Formalized Partial Functions
• A unifying approach to goal-directed evaluation
• scientific article; zbMATH DE number 7692241 (Why is no real title available?)
• Cut-free Gentzen calculus for multimodal CK

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366769)