An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types
| Autor: | Peter Raulefs, Walter G. Olthoff, Ulrich Bartels |
|---|---|
| Rok vydání: | 1981 |
| Předmět: |
Sorting algorithm
Theoretical computer science Knowledge representation and reasoning Computer science Parameterized complexity computer.file_format computer.software_genre Abstract data type Expert system Computer Science::Programming Languages Executable Algebraic number Automatic programming computer |
| Zdroj: | GWAI-81 ISBN: 9783540108597 GWAI |
| DOI: | 10.1007/978-3-662-02328-0_9 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|