SAS
1994
Springer
13 years 8 months ago
1994
Springer
SAS
1994
Springer
13 years 8 months ago
1994
Springer
SAS
1994
Springer
13 years 8 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
SAS
1994
Springer
13 years 8 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
SAS
1994
Springer
13 years 8 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
SAS
1994
Springer
13 years 8 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
SAS
1994
Springer
13 years 8 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
SAS
1994
Springer
13 years 8 months ago
1994
Springer