Semantics and Termination of Nondeterministic Recursive Programs.

J. W. de Bakker

Published in: ICALP (1976)

Keyphrases

recursive programs
transformation rules
logic programs
program synthesis
logic programming
rewrite systems
active rules
metamodel
machine learning
software architecture
black box
operational semantics