Login / Signup
Derived Preconditions and Their Use in Program Synthesis.
Douglas R. Smith
Published in:
CADE (1982)
Keyphrases
</>
program synthesis
recursive programs
inductive logic programming
expert systems
domain knowledge
object oriented
explanation based learning