Login / Signup
Axiomatic Definability and Completeness for Recursive Programs.
Albert R. Meyer
John C. Mitchell
Published in:
POPL (1982)
Keyphrases
</>
recursive programs
program synthesis
logic programs
transformation rules
fixed point
logic programming
order sorted
finitely representable
case study
data driven
database
artificial intelligence
object oriented