Knowledge-based program synthesis for a geometric constraint satisfaction system

Author

Bhansali, Sanjay ; Hoar, Tim

Author_Institution

Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA

fYear

1995

fDate

12-15 Nov 1995

Firstpage

11

Lastpage

18

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

Keywords

automatic programming; computer aided software engineering; constraint handling; constraint theory; formal specification; knowledge based systems; software engineering; automated program synthesis; geometric constraint satisfaction system; knowledge-based program synthesis techniques; software engineering; Application software; Automatic programming; Computer science; Productivity; Programming profession; Software engineering; Specification languages; Synthesizers; Testing; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th

Conference_Location

Boston, MA

ISSN

1068-3062

Print_ISBN

0-8186-7204-8

Type

conf

DOI

10.1109/KBSE.1995.490114

Filename

490114