Positive supercompilation for a higher order call-by-value language

DOI10.1145/1480881.1480916zbMATH Open1315.68076OpenAlexW2148437863MaRDI QIDQ5261524FDOQ5261524

Authors: Peter A. Jonsson, Johan Nordlander 

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-32194

Recommendations

• Positive supercompilation for a higher-order call-by-value language
• A positive supercompiler
• scientific article; zbMATH DE number 1630107
• The concept of a supercompiler
• Supercompilation for Martin-Lof's type theory

zbMATH Keywords

deforestationsupercompilationcall-by-value

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Cited In (3)

• Title not available (Why is that?)
• Positive supercompilation for a higher-order call-by-value language
• Higher-level supercompilation as a metasystem transition

This page was built for publication: Positive supercompilation for a higher order call-by-value language

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