Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.

Andrew Ireland Jamie Stark

Published in: Autom. Softw. Eng. (2006)

Keyphrases

partial order planning
program synthesis
total order
recursive programs
partial order planners
partial order planner
planning domains
partial order
partially ordered
inductive logic programming
relational learning
association rules
training data
relational databases
information extraction
programming language