Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System

DOI 10.1109/kbse.1995.490114 dblp

Abstract

We describe an application of knowledge-based program synthesis techniques to a challenging geometric constraint satisfaction problem. We describe characteristics of the problem domain that make it a good candidate for automated program synthesis, discuss the benefits and limitations of our approach, and suggest some criteria that dictate when automated program synthesis techniques can be a powerful and practical aid in software engineering.

BibTeX

@inproceedings{Bhansali-Hoar:ASE95,
  author    = {Sanjay Bhansali and
               Tim J. Hoar},
  title     = {{Knowledge-Based} Program Synthesis for a Geometric Constraint Satisfaction System},
  booktitle = {ASE},
  pages     = {11--18},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
}

Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System

Abstract

Related papers