A Comparative Revisitation of Some Program Transformation Techniques

A Comparative Revisitation of Some Program Transformation Techniques (1996)

Cached

Download Links

[ftp.iasi.rm.cnr.it]

Other Repositories/Bibliography

DBLP

by Alberto Pettorossi , Maurizio Proietti

Venue:	Partial Evaluation, Int'l Seminar, Dagstuhl
Citations:	21 - 0 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Comparative Revisitation of Some Program Transformation Techniques	SVM HeaderParse 0.1
AUTHOR NAME	Alberto Pettorossi	user correction - Legacy Corrections
AUTHOR AFFIL	1 Department of Informatics	user correction - Legacy Corrections
AUTHOR ADDR	Systems, and Production,; University of Roma Tor Vergata, 00133 Roma, Italy.	user correction - Legacy Corrections
AUTHOR NAME	Maurizio Proietti	user correction - Legacy Corrections
AUTHOR AFFIL	1 Department of Informatics	user correction - Legacy Corrections
AUTHOR ADDR	Systems, and Production,; University of Roma Tor Vergata, 00133 Roma, Italy.	user correction - Legacy Corrections
ABSTRACT	. We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based program derivation, program specialization, compiling control, and the like. We present a methodology which underlines these techniques as a `common pattern of reasoning' and explains the various correspondences which can be established among them. This methodology consists of three steps: i) symbolic computation, ii) search for regularities, and iii) program extraction. We also discuss some control issues which occur when performing these steps. 1 Introduction During the past years researchers working in various areas of program transformation, such as partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based program derivation, program specialization, and compiling control, have been using very similar techniques for the development and derivation of programs. Unfor...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	Partial Evaluation, Int'l Seminar, Dagstuhl	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	355--385	INFERENCE
VOLUME	1110	INFERENCE
CITATIONS	23 found	ParsCit 1.0