Symbolic evaluation as a basis for integrated validation

Plödereder, Erhard

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-7371

Langanzeige der Metadaten

DC Element	Wert	Sprache
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.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.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.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
dc.date.updated	2011-09-29	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
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

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart