Automated schema selection in software synthesis

Micheal Hewett, Rattikorn Hewett

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Automated software synthesis is one of the primary methods used in knowledge-based software engineering. Although many software synthesis systems have been successfully designed and implemented, automatic control of these systems remains a difficult problem. This paper describes a task-specific framework called MetaMorphos that allows explicit representations of control knowledge about the programming task and contains a selection method based on a given set of features. We apply MetaMorphos in the domain of schema-based software synthesis systems and illustrate how we use MetaMorphos to select data structure and algorithm schemas. An example shows how MetaMorphos handles the difficult problem of selecting schemas for two very similar problems which, in the best case, require different solutions.

Original languageEnglish
Title of host publicationProceedings of the Conference on Artificial Intelligence Applications
PublisherPubl by IEEE
Pages77-83
Number of pages7
ISBN (Print)081865550X
StatePublished - 1994
EventProceedings of the 10th Conference on Artificial Intelligence for Applications - San Antonio, TX, USA
Duration: Mar 1 1994Mar 4 1994

Publication series

NameProceedings of the Conference on Artificial Intelligence Applications

Conference

ConferenceProceedings of the 10th Conference on Artificial Intelligence for Applications
CitySan Antonio, TX, USA
Period03/1/9403/4/94

Fingerprint Dive into the research topics of 'Automated schema selection in software synthesis'. Together they form a unique fingerprint.

Cite this