Rules and Strategies for Transforming Functional and Logic Programs

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

Cached

Download Links

[www.iasi.rm.cnr.it]

Other Repositories/Bibliography

DBLP

by A. Pettorossi , M. Proietti , R. Dicembre

Venue:	ACM Computing Surveys
Citations:	68 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Rules and Strategies for Transforming Functional and Logic Programs	INFERENCE
AUTHOR NAME	A. Pettorossi	SVM HeaderParse 0.1
AUTHOR NAME	M. Proietti	SVM HeaderParse 0.1
AUTHOR NAME	R. Dicembre	SVM HeaderParse 0.1
AUTHOR AFFIL	; Alberto Pettorossi--- Dipartimento di Informatica, Sistemi e Produzione,; Maurizio Proietti--- Istituto di Analisi dei Sistemi ed Informatica del CNR,	SVM HeaderParse 0.2
AUTHOR ADDR	; Via della Ricerca Scientifica, 00133 Roma, Italy; Viale Manzoni 30, 00185 Roma, Italy	SVM HeaderParse 0.1
ABSTRACT	We present an overview of the program transformation methodology, focusing our attention on the so-called `rules + strategies' approach in the case of functional and logic programs. The paper is intended to offer an introduction to the subject. The various techniques we present are illustrated via simple examples. A preliminary version of this report has been published in: Moller, B., Partsch, H., and Schuman, S. (eds.): Formal Program Development. Lecture Notes in Computer Science 755, Springer Verlag (1993) 263--304. Also published in: ACM Computing Surveys, Vol 28, No. 2, June 1996. 3 1 Introduction The program transformation approach to the development of programs has first been advocated by [Burstall-Darlington 77], although the basic ideas were already presented in previous papers by the same authors [Darlington 72, Burstall-Darlington 75]. In that approach the task of writing a correct and efficient program is realized in two phases: the first phase consists in writing an in...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	ACM Computing Surveys	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	360--414	INFERENCE
VOLUME	28	INFERENCE
CITATIONS	106 found	ParsCit 1.0