Deriving sequential and parallel programs from pure Lisp specifications by program transformation

Conference · Wed Jan 01 00:00:00 EST 1986

OSTI ID:6001635

Boyle, J M; Dritz, K W; Muralidharan, M N; Taylor, R J

We describe an ''industrial strength'' example of the use of specification and transformation to produce an efficient program. The specification is written in pure Lisp. Program transformations have been used to generate from it a program that executes efficiently on a wide variety of sequential machines. Another set of transformations has been used to generate programs from it that execute efficiently on global-memory parallel machines. We discuss some of the design decisions for the parallel version (and their motivations), optimization of parallel programs, and the benefits of the specification-transformation approach.

• Research Organization: Argonne National Lab., IL (USA)
• DOE Contract Number: W-31-109-ENG-38
• OSTI ID: 6001635
• Report Number(s): CONF-8604110-1; ON: DE86005555
• Resource Relation: Conference: Program specification and transformation IFIP TC2 working conference, Bad Toelz, F.R. Germany, 14 Apr 1986; Other Information: Portions of this document are illegible in microfiche products
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ARRAY PROCESSORS
PARALLEL PROCESSING
PROGRAMMING LANGUAGES
PROGRAMMING
990200* - Mathematics & Computers