Total Correctness by Local Improvement in the Transformation of Functional Programs (1996)

Cached

Download Links

by David Sands
Venue:ACM Transactions on Programming Languages and Systems
Citations:61 - 6 self

Active Bibliography

20 Total Correctness by Local Improvement in Program Transformation – David Sands - 1995
8 Higher-Order Expression Procedures – David Sands - 1995
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
72 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
139 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
34 Transformation of Logic Programs – Alberto Pettorossi, Maurizio Proietti - 1998
15 Sharing of Computations – Torben Amtoft - 1993
10 Improvement Theory and its Applications – David Sands - 1997
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop – Flemming Nielson, (Ed.) - 1993
4 On the Correctness of the Replacement Operation for CLP Modules – Sandro Etalle, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, H. Kuchen, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, F. Silbermann, P. Van, Hentenryck D. S. Warren - 1996
10 Simultaneous Replacement in Normal Programs – Annalisa Bossi, Nicoletta Cocco, Sandro Etalle - 1993
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
235 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
5 Correctness of Logic Program Transformations Based on Existential Termination – Kung-kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti - 1995
4 Program Derivation = Rules + Strategies – Alberto Pettorossi, Maurizio Proietti - 2001
14 Transformation Rules for Locally Stratified Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2004
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997