@inproceedings{2fbef8563d7b4905a8feebbea09bfb3d,
title = "Automated schema selection in software synthesis",
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.",
author = "Micheal Hewett and Rattikorn Hewett",
year = "1994",
language = "English",
isbn = "081865550X",
series = "Proceedings of the Conference on Artificial Intelligence Applications",
publisher = "Publ by IEEE",
pages = "77--83",
booktitle = "Proceedings of the Conference on Artificial Intelligence Applications",
note = "null ; Conference date: 01-03-1994 Through 04-03-1994",
}