Constraint-based partial evaluation for imperative languages

DOI10.1007/BF02949826zbMath1004.68035OpenAlexW2003799547MaRDI QIDQ1599645

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

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

Cites Work

• Unnamed Item
• The concept of a supercompiler

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