Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-7371
Autor(en): | Plödereder, Erhard |
Titel: | Symbolic evaluation as a basis for integrated validation |
Erscheinungsdatum: | 1984 |
Dokumentart: | Konferenzbeitrag |
Erschienen in: | Hausen, Hans-Ludwig (Hrsg.): Software validation : inspection, testing, verification, alternatives; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983. Amsterdam : North-Holland, 1984. - ISBN 0-444-87593-X, S. 167-185 |
URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-56634 http://elib.uni-stuttgart.de/handle/11682/7388 http://dx.doi.org/10.18419/opus-7371 |
Zusammenfassung: | Symbolic evaluation derives information about the static and dynamic semantics of programs by means of a static and global program analysis. This information is then deposited in a program data base to be used by various tools supporting program development and validation The theoretical foundations of Symbolic Evaluation were developed at Harvard University. The Harvard Program Development System (PDS) included as a component for semantic analysis a prototype implementation of a symbolic evaluator. This paper presents the model underlying symbolic evaluation and discusses its impact on tools for program development and validation. |
Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
ploe9.pdf | 577,37 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.