Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8913
Autor(en): Plödereder, Erhard
Titel: A semantic model for the analysis and verification of programs in general, higher-level languages
Erscheinungsdatum: 1980
Verlag: Cambridge, Mass. : Center for Research in Computing Technology
Dokumentart: Arbeitspapier
Seiten: 1 Band (verschiedene Seitenzählungen)
Serie/Report Nr.: TR / Center for Research in Computing Technology, Harvard University;1980,2
URI: http://elib.uni-stuttgart.de/handle/11682/8930
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-89303
http://dx.doi.org/10.18419/opus-8913
Bemerkungen: Zugl.: Harvard, Harvard University, Ph.D. thesis, 1980
Zusammenfassung: Today the predominant theoretical basis for the semantic analysis of programs is the inductive assertion method due to floyd 'Floyd1', and the deductive logical systems subsequently developed by Hoare and others. Howoever, these systems link the derivation of knowledge about programs directly to the verification of asserted programs; they do not provide an adequate basis for such tasks as source-to-source optimization, interactive program documentation, or static performance analysis. In varying degrees, they require the user to provide redundant specificatlons trlvially derivable from the program text. Furthermore,several features found in hlgher-level programming languages create substantial problems for the practical application of these deductive systems.
Enthalten in den Sammlungen:15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
ploe1.pdf74,92 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.