A LISP PROGRAMMING EXERCISE

被引：0

作者：

VANDESNEPSCHEUT, JLA

机构：

来源：

INFORMATION PROCESSING LETTERS | 1992年 / 42卷 / 02期

关键词：

FUNCTIONAL PROGRAMMING; PROGRAM DERIVATION;

D O I：

10.1016/0020-0190(92)90097-F

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：103 / 108

页数：6