Ensembles infinis en programmation. (Finite sets in programming). (French) Zbl 0622.68036

A new language PSIL is introduced. Its primary aim is to allow an easy manipulation with infinitary objects, namely infinite sets. Rather than doing explicit computations of ”infinite” lists and sets, the language PSIL works with virtual terms describing infinite sets intensionally. A simple calculus of such terms is described along with the strategy of lazy evaluation. The PSIL language was implemented in LISP and some of its features correspond to LISP dialects.
Reviewer: O.Štěpanková


68W30 Symbolic computation and algebraic computation
68N01 General topics in the theory of software
68T99 Artificial intelligence