Abstract
The APE (Automatic Programming Expert) system constructs executable and efficient programs from
-
algebraic specifications of abstract data types, and
-
abstract algorithms given as conditional term-rewrite-rule-systems with terms built up from operation symbols of the abstract data types involved.
The APE is an experimental system devised to develop methods for codifying a rather broad extent of programming knowledge required to construct implementations of data types and algorithms.
For data type specifications, the APE admits hidden operations, conditional axioms, and parameterized data types. The APE automatically implements algebraic specifications of all commonly known data types in terms of clusters of INTERLISP-functions. The APE constructs executable implementations of a variety of sorting and searching algorithms.
As an experimental prototype, the APE demonstrates that a knowledge-based programming paradigm provides a useful tool for partially automating an important phase of software development.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ehrig, H. Algebraic theory of parameterized specifications with requirements. Proc. 6th CAAP, Genova 1981, Springer-Verlag (in press).
Eigemeier, H., Ch. Knabe, P. Raulefs, K. Tramer. Automatic implementation of algebraic specifications of abstract data types. Memo SEKI-BN-79 (Nov.79), Univ. Bonn, Inst. f. Informatik III and Proc. AISB-80 Conf. on Artificial Intelligence.
Eigemeier, H., Ch. Knabe, P. Raulefs, K. Tramer. An expert system for automatic coding of abstract data type specifications. Proc. 10th Annual GI-Conf., Springer InformatikFachberichte 33,1980, pp. 431–441.
Hornung, G., P.Raulefs. Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities. Proc. 6th CAAP, Genova 1981, Springer-Verlag (in press).
Knuth, D.E. The Art of Computer Programming. Vol.3, Addison-Wesley, 1973
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bartels, U., Olthoff, W., Raulefs, P. (1981). An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. In: Siekmann, J.H. (eds) GWAI-81. Informatik-Fachberichte, vol 47. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02328-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-02328-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10859-7
Online ISBN: 978-3-662-02328-0
eBook Packages: Springer Book Archive