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