Please use this identifier to cite or link to this item:
doi:10.22028/D291-38733 | Title: | An Approach to Parameterized Continuous Data Types |
| Author(s): | Krützer, Gerd |
| Language: | English |
| Year of Publication: | 1983 |
| Place of publication: | Kaiserslautern |
| Free key words: | Abstract data types domain equations parameterization continuous data types |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | In this paper we show one possible way to combine Scott’s recursive domain equations with the algebraic approach to data types developped by the ADJ-group. This combination is such that we use so called (recursive) algebraic domain equations to define parameterized abstract data types in the sense of ADJ. Then this concept is extended to specifications which possess continuous algebras as their models leading to the specification of parameterized continuous data types. |
| Link to this record: | urn:nbn:de:bsz:291--ds-387331 hdl:20.500.11880/35054 http://dx.doi.org/10.22028/D291-38733 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 83,11 |
| Date of registration: | 30-Jan-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-83-11_Krützer_An-Approach-to-Parameterized-Continuous-Data-Types.pdf | 27,46 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.