Join Our Newsletter
SAS
1991
Springer
13 years 1 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
SAS
1991
Springer
13 years 1 months ago
1991
Springer
Specializing programs by partial evaluation is well deļ¬ned extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
SAS
1991
Springer
13 years 1 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
