Inproceedings,

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.

.
ILP, volume 1634 of Lecture Notes in Computer Science, page 104-115. Springer, (1999)

Meta data

Tags

Users

  • @dblp
  • @sebastian

Comments and Reviews