Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-39513
Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-MEMO-85-05_Olthoff_On-a-Connection-between-Procedural-and-Applicative-Languages.pdf91,46 MBAdobe 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.