Recursive Programs as Predicate Transformers.

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
first order logic
logic programming
data model
multi dimensional