Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39783
Titel: | The Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory |
VerfasserIn: | Olthoff, Walter |
Sprache: | Englisch |
Erscheinungsjahr: | 1986 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Object-oriented-programming and abstract data type (ADT) theory have emerged from the same origin of computer science: the inability during the early seventies to deal efficiently with programming in-the-large. Each of the approaches has led to significant practical and theoretical results resp. Nevertheless it is still unsatisfactory that the mutual influence up to now seems to be limited to more or less syntactical issues (e.g. the provision of packages: clusters: forms). In this paper we report on the object-oriented language ModPascal that was developed as part of the Integrated Software-Development and Verification (ISDV) Project. We show how the essence of concepts of ADT theory as algebraic specifications, enrichments; parameterized specifications or signature morphisms as well as their semantics can be consistently integrated in an imperative object-oriented language. Furthermore, as the experience of using ModPascal as target language of the ISDV System has shown: we claim that without similar support of theoretical concepts techniques as formal specification of programs and algebraic verification loose their power and even applicability. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-397830 hdl:20.500.11880/37864 http://dx.doi.org/10.22028/D291-39783 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 86,9 |
Datum des Eintrags: | 13-Jun-2024 |
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-Report-SR-86-09_Olthoff_The-Augmentation-of-Object-Oriented-Programming-by-Concepts-of-Abstract-Data-Type-Theory.pdf | 12,99 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.