Please use this identifier to cite or link to this item:
doi:10.22028/D291-38954 | Title: | Algebraic domain equations for specifications containing inequational axioms |
| Author(s): | Krützer, Gerd |
| Language: | English |
| Year of Publication: | 1984 |
| Place of publication: | Kaiserslautern |
| Free key words: | Abstract data types Parameterization specifications with inequalities algebraic domain equations |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | Algebraic domain equations (ade’s) provide a means for implicitly or recursively specifying parameterized data types. A unique semantics is available provided the respective ade’s are defined over a category of specifications which are solely based on equational axioms. We extend this approach by showing that there exists an appropriate semantics even if the respective specifications contain as well equational as inequational axioms. |
| Link to this record: | urn:nbn:de:bsz:291--ds-389548 hdl:20.500.11880/35466 http://dx.doi.org/10.22028/D291-38954 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 84,4 |
| Date of registration: | 20-Mar-2023 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-MEMO-84-04_Krützer_Algebraic-Domain-Equations-for-Specifications-Containing-Inequational-Axioms.pdf | 29,85 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.