Edited by V.I. Shelekhov
Novosibirsk 2003
Novosibirsk 2003
This volume includes papers on predicate programming. The predicate programming concept and some part of the predicate programming language P is introduced. The predicate programming technology is demonstrated for some concrete problems. An algorithm of variable replacement used in transformation of a predicate program to effective imperative one is described.
The volume may be of interest for researchers in computer science, programmers and students.
The articles are available in Russian only as PDF document (554.53 KB)