Sciweavers

2 search results - page 1 / 1
» Positive Supercompilation for a Higher-Order Call-By-Value L...
Sort
View
CORR
2010
Springer
137views Education» more  CORR 2010»
13 years 5 months ago
Positive Supercompilation for a Higher-Order Call-By-Value Language
Peter A. Jonsson, Johan Nordlander
POPL
2009
ACM
14 years 5 months ago
Positive supercompilation for a higher order call-by-value language
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
Peter A. Jonsson, Johan Nordlander