Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8913
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Plödereder, Erhard | - |
dc.date.accessioned | 2016-11-09T10:57:09Z | - |
dc.date.available | 2016-11-09T10:57:09Z | - |
dc.date.issued | 1980 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-89303 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/8930 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-8913 | - |
dc.description.abstract | 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. | en |
dc.language.iso | en | de |
dc.publisher | Cambridge, Mass. : Center for Research in Computing Technology | de |
dc.relation.ispartofseries | TR / Center for Research in Computing Technology, Harvard University;1980,2 | - |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Programmiersprache , Semantische Modellierung | de |
dc.subject.ddc | 621.3 | de |
dc.title | A semantic model for the analysis and verification of programs in general, higher-level languages | en |
dc.type | workingPaper | de |
ubs.bemerkung.extern | Zugl.: Harvard, Harvard University, Ph.D. thesis, 1980 | de |
ubs.fakultaet | Fakultätsübergreifend / Sonstige Einrichtung | de |
ubs.institut | Fakultätsübergreifend / Sonstige Einrichtung | de |
ubs.publikation.noppn | yes | de |
ubs.publikation.seiten | 1 Band (verschiedene Seitenzählungen) | de |
ubs.publikation.typ | Arbeitspapier | de |
Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
ploe1.pdf | 74,92 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.