{"type":"ScholarlyArticle","title":"APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms","authors":[{"name":"Ulrich Bartels","slug":"ulrich-bartels","given":"Ulrich","family":"Bartels","affiliation":""},{"name":"Walter G. Olthoff","slug":"walter-g-olthoff","given":"Walter G.","family":"Olthoff","affiliation":""},{"name":"Peter Raulefs","slug":"peter-raulefs","given":"Peter","family":"Raulefs","affiliation":""}],"abstract":"The APE (Auto•attc Progra••tng Expert) executable and efficient prograMs fro• • algebraic speci f ications of abstract data • abstract algorithms given as conditional s ys te•s w1th ter• s bu1lt up fro• operat1on abstract data types 1nvolved. systea construct• types, •nd ter~ - rewrite-rule sy•bols of the The APE is an e•perl•ental syste• devised to develop •ethods for cod1fy1ng a rather broad extent of prograMming knowledge requ1red to construct 1•plementations of data types and at gor 1 th•s. for data type specifications, the APE ad•its hidden oper•tlons, conditi o nal a x 1o•s, and para•eter1zed data types. The APE automaticall y iMplements al9ebraic specifications of all coma o nly known data types 1n terms of clusters of lNTERLISPfunctlons . The APE constructs executable implementations of • var i ety of sorting and searching algortthMs. As an exper1nental prototype, the APE deeonstrates that • knowledge-b~sed proor•••ing paradtau prov1des a useful tool for par~lally autoaating an 1•portant phase of software developaent.","doi":null,"url":"https://ijcai.org/proceedings/1981/198","pdf":"https://ijcai.org/proceedings/1981/0198.pdf","markdown":"https://ijcai.org/proceedings/1981/198.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/198","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Program Synthesis","track":"Program Synthesis","number":198,"pages":{"first":1037,"last":1042},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}