Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability

Albert R. Meyer John C. Mitchell

Published in: Inf. Control. (1983)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
knowledge base
order sorted
finitely representable
logic programming
background knowledge
database
information extraction
multi dimensional
software development