Symbolic evaluation as a basis for integrated validation

Plödereder, Erhard

Symbolic evaluation as a basis for integrated validation

dc.contributor.author	Plödereder, Erhard	de
dc.date.accessioned	2010-10-19	de
dc.date.accessioned	2016-03-31T11:42:53Z
dc.date.available	2010-10-19	de
dc.date.available	2016-03-31T11:42:53Z
dc.date.issued	1984	de
dc.date.updated	2011-09-29	de
dc.description.abstract	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.	en
dc.identifier.other	350960380	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-56634	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/7388
dc.identifier.uri	http://dx.doi.org/10.18419/opus-7371
dc.language.iso	en	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Softwareentwicklung , Programmanalyse	de
dc.subject.ddc	620	de
dc.title	Symbolic evaluation as a basis for integrated validation	en
dc.type	conferenceObject	de
ubs.fakultaet	Fakultätsübergreifend / Sonstige Einrichtung	de
ubs.institut	Sonstige Einrichtung	de
ubs.opusid	5663	de
ubs.publikation.source	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	de
ubs.publikation.typ	Konferenzbeitrag	de

Files

Original bundle

Now showing 1 - 1 of 1

Name:: ploe9.pdf
Size:: 577.37 KB
Format:: Adobe Portable Document Format

Download

License bundle

Now showing 1 - 1 of 1

Name:: license.txt
Size:: 1021 B
Format:: Plain Text
Description:

Download

Collections

15 Fakultätsübergreifend / Sonstige Einrichtung