Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-38733 | Titel: | An Approach to Parameterized Continuous Data Types |
| VerfasserIn: | Krützer, Gerd |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1983 |
| Erscheinungsort: | Kaiserslautern |
| Freie Schlagwörter: | Abstract data types domain equations parameterization continuous data types |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
| 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 zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-387331 hdl:20.500.11880/35054 http://dx.doi.org/10.22028/D291-38733 |
| Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Band: | 83,11 |
| 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-83-11_Krützer_An-Approach-to-Parameterized-Continuous-Data-Types.pdf | 27,46 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.