Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-8913
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPlödereder, Erhard-
dc.date.accessioned2016-11-09T10:57:09Z-
dc.date.available2016-11-09T10:57:09Z-
dc.date.issued1980de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/8930-
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-89303de
dc.identifier.urihttp://dx.doi.org/10.18419/opus-8913-
dc.description.abstractToday 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.isoende
dc.publisherCambridge, Mass. : Center for Research in Computing Technologyde
dc.relation.ispartofseriesTR / Center for Research in Computing Technology, Harvard University;1980,2-
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationProgrammiersprache , Semantische Modellierungde
dc.subject.ddc621.3de
dc.titleA semantic model for the analysis and verification of programs in general, higher-level languagesen
dc.typeworkingPaperde
ubs.bemerkung.externZugl.: Harvard, Harvard University, Ph.D. thesis, 1980de
ubs.fakultaetFakultätsübergreifend / Sonstige Einrichtungde
ubs.institutFakultätsübergreifend / Sonstige Einrichtungde
ubs.publikation.noppnyesde
ubs.publikation.seiten1 Band (verschiedene Seitenzählungen)de
ubs.publikation.typArbeitspapierde
Appears in Collections:15 Fakultätsübergreifend / Sonstige Einrichtung

Files in This Item:
File Description SizeFormat 
ploe1.pdf74,92 MBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.