Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39513
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-MEMO-85-05_Olthoff_On-a-Connection-between-Procedural-and-Applicative-Languages.pdf | 91,46 MB | Adobe PDF | Öffnen/Anzeigen |
Titel: | On a Connection between Procedural and Applicative Languages |
VerfasserIn: | Olthoff, Walter |
Sprache: | Englisch |
Erscheinungsjahr: | 1985 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This paper reports on the connection between procedural and applicative languages. It presents features, notions and methods derived from abstract data type theory that in our judgement are helpful and necessary for multi-level software engineering environments in general, and especially for the treatment of verification issues there. Reference is made to an existing software engineering system and exemplary languages of it. A denotational semantics based on algebraic structures is introduced and employed. Since object-orientedness is looked at as one of the most important properties of such environments the notion of correctness is applied to objects and object relations. Finally a realistic semi-automatic method for the check of correctness criteria is given, accompanied by remarks on our existing implementation. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-395130 hdl:20.500.11880/35687 http://dx.doi.org/10.22028/D291-39513 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 85,5 |
Datum des Eintrags: | 19-Apr-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 |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.