APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms

Bartels, Ulrich; Olthoff, Walter G.; Raulefs, Peter

APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms

Ulrich Bartels, Walter G. Olthoff, Peter Raulefs

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Program Synthesis. Pages 1037-1042.

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.

Ulrich Bartels, Walter G. Olthoff, and Peter Raulefs. 1981. APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 1037–1042. https://ijcai.org/proceedings/1981/198

@inproceedings{ijcai1981p198,
  title     = {APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms},
  author    = {Bartels, Ulrich and Olthoff, Walter G. and Raulefs, Peter},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {1037--1042},
  year      = {1981},
  month     = {8},
  note      = {Program Synthesis},
  url       = {https://ijcai.org/proceedings/1981/198},
}

TY  - CPAPER
TI  - APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
AU  - Bartels, Ulrich
AU  - Olthoff, Walter G.
AU  - Raulefs, Peter
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 1037
EP  - 1042
UR  - https://ijcai.org/proceedings/1981/198
ER  -