Sciweavers

Share
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
13 years 1 months ago
Equational Logics
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,...
Yong Sun
SAS
1991
Springer
13 years 1 months ago
On Static Properties of Specialized Programs
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 ...
Karoline Malmkjær
SAS
1991
Springer
13 years 1 months ago
Polymorphic Time Systems for Estimating Program Complexity
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...
Vincent Dornic, Pierre Jouvelot, David K. Gifford
books