Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-7369
Autor(en): Plödereder, Erhard
Titel: Pragmatic techniques for program analysis and verification
Erscheinungsdatum: 1979
Dokumentart: Konferenzbeitrag
Erschienen in: Software engineering : ICSE; International Conference Proceedings; International Conference 17-19 sept 1979. Long Beach, Calif. : IEEE Comp Soc., S. 63-72
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-56570
http://elib.uni-stuttgart.de/handle/11682/7386
http://dx.doi.org/10.18419/opus-7369
Zusammenfassung: The Program Development System (PDS) is a collection of programming tools created as an extension of the ECL programming system23. It contains components that assist the programmer in the definition and modular structuring of large programs at different levels of algorithmic abstraction. These components are supplemented by a program analysis package that produces an information pool to be used for such tasks as source-to-source optimization, semi-automated program documentation, fault detection and program verification. This paper describes the core of the analyzing package, the Symbolic Evaluator. In its implementation we have incorporated pragmatic methods for handling data sharing patterns, and for characterizing and reasoning about the behaviour of loops and procedures. The impact of these methods upon program verification techniques is briefly discussed.
Enthalten in den Sammlungen:15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
ploe5.pdf840,35 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.