Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-37891
Titel: Ape: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
VerfasserIn: Bartels, Ulrich
Olthoff, Walter
Raulefs, Peter
Sprache: Englisch
Verlag/Plattform: Univ. [u.a.]
Erscheinungsjahr: 1981
Erscheinungsort: Bonn [u.a.]
Freie Schlagwörter: Abstract data types
automatic programming
codification of programming knowledge
expert systems
knowledge representation
production systems
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
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.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-378919
hdl:20.500.11880/35055
http://dx.doi.org/10.22028/D291-37891
Schriftenreihe: Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Band: 81,1
Datum des Eintrags: 30-Jan-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.