145
Voted
SAS
15 years 4 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,...
104
Voted
SAS
15 years 4 months ago
1991 Springer 
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
SAS
15 years 4 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...
|
Formal Methods