A Program Model and Knowledge Base for Computer Aided Program Synthesis

Richard J. Wood

Program synthesis is a complex task comprising many interacting subactivities and requiring access to a variety of knowledge sources. Recent investigations have discovered the inadequacies of current synthesis techniques to keep pace with increasing difficulties of managing large intricate problem solutions. An alternative approach to software methodologies is the development of intelligent computer systems that manage the vast amount of information assimilated and accessed during this process. The system’s "intelligence" is characterized not by an innate ability to invent solutions, but by the incorporation of an internal model of the problem domain and corresponding program solution.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.