×

Deriving programs using higher order generalization. (English) Zbl 0761.68062

Mathematical problems in computation theory, Proc. 26th semester, Warsaw/Poland 1985, Banach Cent. Publ. 21, 359-368 (1988).
Summary: [For the entire collection see Zbl 0745.00057.]
We define and study a particular kind of generalization strategy for deriving efficient functional programs. It is called higher order generalization, because it consists in generalizing variables or expressions into functions. This strategy allows the derivation of efficient one-pass algorithm which save time and space resources.

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)

Citations:

Zbl 0745.00057
PDFBibTeX XMLCite