Simple Driving Techniques

Mads Rosendahl

doi:10.1007/3-540-36377-7_18

Simple Driving Techniques

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Abstract

Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for the programming language REFAL and used in metasystem transitions based on super compilation. In this paper we present one version of driving for a more conventional lisp-like language. Our aim is to extract a simple notion of driving and show that even in this tamed form it has much of the power of more general notions of driving. Our driving technique may be used to simplify functional programs which use function composition and will often be able to remove intermediate data structures used in computations.

Original language	English
Title of host publication	The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Editors	Torben Mogensen, David A. Schmidt, Ivan Hal Sudborough
Number of pages	16
Place of Publication	Berlin
Publisher	Kluwer Academic Publishers
Publication date	2002
Pages	404-419
ISBN (Print)	3-540-00326-6
DOIs	https://doi.org/10.1007/3-540-36377-7_18
Publication status	Published - 2002

Series	Lecture Notes in Computer Science
Volume	2566
ISSN	0302-9743

Link to document

10.1007/3-540-36377-7_18

Cite this

@inbook{12ee42b052be11dba4bc000ea68e967b,

title = "Simple Driving Techniques",

abstract = "Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for the programming language REFAL and used in metasystem transitions based on super compilation. In this paper we present one version of driving for a more conventional lisp-like language. Our aim is to extract a simple notion of driving and show that even in this tamed form it has much of the power of more general notions of driving. Our driving technique may be used to simplify functional programs which use function composition and will often be able to remove intermediate data structures used in computations.",

author = "Mads Rosendahl",

year = "2002",

doi = "10.1007/3-540-36377-7_18",

language = "English",

isbn = "3-540-00326-6",

series = "Lecture Notes in Computer Science",

publisher = "Kluwer Academic Publishers",

pages = "404--419",

editor = "Torben Mogensen and Schmidt, {David A.} and Sudborough, {Ivan Hal}",

booktitle = "The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones",

}

Simple Driving Techniques. / Rosendahl, Mads.
The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones. ed. / Torben Mogensen; David A. Schmidt; Ivan Hal Sudborough. Berlin: Kluwer Academic Publishers, 2002. p. 404-419 (Lecture Notes in Computer Science, Vol. 2566).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

TY - CHAP

T1 - Simple Driving Techniques

AU - Rosendahl, Mads

PY - 2002

Y1 - 2002

N2 - Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for the programming language REFAL and used in metasystem transitions based on super compilation. In this paper we present one version of driving for a more conventional lisp-like language. Our aim is to extract a simple notion of driving and show that even in this tamed form it has much of the power of more general notions of driving. Our driving technique may be used to simplify functional programs which use function composition and will often be able to remove intermediate data structures used in computations.

AB - Driving was introduced as a program transformation technique by Valentin Turchin in some papers around 1980. It was intended for the programming language REFAL and used in metasystem transitions based on super compilation. In this paper we present one version of driving for a more conventional lisp-like language. Our aim is to extract a simple notion of driving and show that even in this tamed form it has much of the power of more general notions of driving. Our driving technique may be used to simplify functional programs which use function composition and will often be able to remove intermediate data structures used in computations.

U2 - 10.1007/3-540-36377-7_18

DO - 10.1007/3-540-36377-7_18

M3 - Book chapter

SN - 3-540-00326-6

T3 - Lecture Notes in Computer Science

SP - 404

EP - 419

BT - The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

A2 - Mogensen, Torben

A2 - Schmidt, David A.

A2 - Sudborough, Ivan Hal

PB - Kluwer Academic Publishers

CY - Berlin

ER -