Constraint-based partial evaluation for imperative languages

DOI10.1007/BF02949826MaRDI QIDQ1599645zbMATH OpenOpenAlexFDO

Authors Ying Jin, Chengzhi Jin

Publication date 5 June 2002

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

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

zbMATH Keywords

constraint-based partial evaluation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1615254
• scientific article; zbMATH DE number 1692905
• scientific article; zbMATH DE number 815068
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• scientific article; zbMATH DE number 1738296

Cites work

• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• The concept of a supercompiler

Cited in

(4)

• Generating action compilers by partial evaluation
• Fast narrowing-driven partial evaluation for inductively sequential programs
• Scrapping your inefficient engine
• Schema-Guided Synthesis of Imperative Programs by Constraint Solving

This page was built for publication: Constraint-based partial evaluation for imperative languages

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