Positive Supercompilation for a Higher-Order Call-By-Value Language

DOI10.2168/LMCS-6(3:5)2010zbMath1209.68115OpenAlexW3101756838WikidataQ62048633 ScholiaQ62048633MaRDI QIDQ2786119

Johan Nordlander, Peter A. Jonsson

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-6(3:5)2010

zbMATH Keywords

deforestationsupercompilationcall-by-value

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Uses Software

• WSDFU

This page was built for publication: Positive Supercompilation for a Higher-Order Call-By-Value Language