Rules and Strategies for Transforming Functional and Logic Programs (1996)

Cached

Download Links

by A. Pettorossi , M. Proietti , R. Dicembre
Venue:ACM Computing Surveys
Citations:76 - 4 self

Documents Related by Co-Citation

574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993
1321 Refactoring: improving the design of existing code – M Fowler, K Beck - 1999
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
6 A powerful strategy for deriving ecient programs by transformation – A Pettorossi - 1984
25 Finite di erencing of computable expressions – R Paige, S Koenig - 1982
8557 R.: Introduction to Algorithms – T Cormen, C Leiserson, Rivest - 1990
47 Static caching for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1998
16 Realtime Signal Processing – H J Reekie - 1995
387 Refactoring Object-Oriented Frameworks – William F. Opdyke - 1992
29 Program transformation – J Darlington
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
53 Curry: A Truly Functional Logic Language РMichael Hanus, Herbert Kuchen, Juan Jos̩ Moreno-Navarro - 1995
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
72 Specification and Transformation of Programs – H Partsch - 1990