How to control unfolding when specializing interpreters

DOI10.1007/BF03037513zbMath0705.68035OpenAlexW2084027354MaRDI QIDQ918195

Arun Lakhotia, Leon S. Sterling

Publication date: 1990

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037513

zbMATH Keywords

partial evaluationunfoldingspecializing interpreters

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items

Efficient and flexible access control via Jones-optimal logic program specialisation

Cites Work

• Mixed computation of Prolog programs
• Partial evaluation of metaprograms in a ``multiple worlds logic language
• A self-applicable partial evaluator and its use in incremental compilation
• On the partial computation principle
• Unnamed Item
• Unnamed Item
• Unnamed Item