3 search results - page 1 / 1 » Some Achievements and Prospects in Partial Deduction |
48
Voted
CSUR
1998
14 years 10 months ago
1998
CORR
2002
Springer
14 years 10 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...