The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations

David A. Plaisted

Published in: LICS (1986)

Keyphrases

recursive programs
transformation rules
logic programs
program synthesis
logic programming
semantic information
knowledge base
information extraction
metamodel