Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
- Submitted Version
See Usage Policy. 45kB | |
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Submitted Version
See Usage Policy. 139kB |
Use this Persistent URL to link to this item: https://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: |
| ||||
| Series Name: | Computer Science Technical Reports | ||||
| DOI: | 10.7907/Z93F4MSW | ||||
| Record Number: | CaltechCSTR:1992.cs-tr-91-04 | ||||
| Persistent URL: | https://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: | 03 Oct 2019 03:17 |
Repository Staff Only: item control page
