CaltechAUTHORS
  A Caltech Library Service

A LISP Programming Exercise

Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

44Kb
[img]
Preview
PDF - Submitted Version
See Usage Policy.

135Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04

Abstract

We present the derivation of a solution to a LISP programming exercise. The derivation is in three steps. First, an inefficient solution is given. Second, the quintessence of a more efficient solution is captured in a number of equalities. Third, an efficient solution is derived from the inefficient one by a number of transformation steps, each of which is justified by the equalities.


Item Type:Report or Paper (Technical Report)
Additional Information:© 1992 California Institute of Technology. The above derivation was prompted by questions from my CS20 students and I welcome the opportunity to express my gratitude to them. Comments by H. Peter Hofstee, Johan J. Lukkien, the Austin Tuesday Afternoon Club, and especially the referees improved the presentation.
Group:Computer Science Technical Reports
Subject Keywords:functional programming ; program derivation
Other Numbering System:
Other Numbering System NameOther Numbering System ID
Computer Science Technical Reports91-04
DOI:10.7907/Z93F4MSW
Record Number:CaltechCSTR:1992.cs-tr-91-04
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26748
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:25 Apr 2001
Last Modified:28 Jul 2017 16:23

Repository Staff Only: item control page