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öße | Format | |
---|---|---|---|---|
ploe5.pdf | 840,35 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.