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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-MEMO-81-01_Bartels-Olthoff-Raulefs_APE-An-Expert-System-for-Automatic-Programming-from-Abstract-Specifications-of-Data-Types-and-Algorithms.pdf | 17,54 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.