{"type":"ScholarlyArticle","title":"A Knowledge-Based System for Automatic Program Construction","authors":[{"name":"David R. Barstow","slug":"david-r-barstow","given":"David R.","family":"Barstow","affiliation":""}],"abstract":"PECOS Is a system that synthesizes programs from abstract specifications through the use of a knowledge base of programming rules. The rules deal explicitly with various aspects of the programming process, including Intermediate-level constructs and certain design decisions. Programs are specified as abstract algorithms in a high-level language for tile domain of symbolic computation. Programs are constructed by a process of gradual refinement: PECOS retrieves and applies relevant rules until the original abstract description has been refined Into a concrete ,program. When several rules are relevant in the same situation, each is applied separately, enabling PECOS to construct a variety of programs for a given abstract specification. KEYWORDS: Automatic programmin g, Program refinement, Programming knowledge, Rules about programming, Knowledge-based systems.","doi":null,"url":"https://ijcai.org/proceedings/1977/90","pdf":"https://ijcai.org/proceedings/1977/0090.pdf","markdown":"https://ijcai.org/proceedings/1977/90.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/90","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Aids to Programming","track":"Aids to Programming","number":90,"pages":{"first":382,"last":387},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}