Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPlödereder, Erhard-
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.publisherCambridge, Mass. : Center for Research in Computing Technologyde
dc.relation.ispartofseriesTR / Center for Research in Computing Technology, Harvard University;1980,2-
dc.subject.classificationProgrammiersprache , Semantische Modellierungde
dc.titleA semantic model for the analysis and verification of programs in general, higher-level languagesen
ubs.bemerkung.externZugl.: Harvard, Harvard University, Ph.D. thesis, 1980de
ubs.fakultaetFakultätsübergreifend / Sonstige Einrichtungde
ubs.institutFakultätsübergreifend / Sonstige Einrichtungde
ubs.publikation.seiten1 Band (verschiedene Seitenzählungen)de
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.