A LISP Programming ExerciseVan de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-91-04] Full text available as:
AbstractWe 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.
Archive Staff Only: edit this record |