@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",
}