Static slicing in the presence of goto statements

A static program slice is an extract of a program which can help our understanding of the behavior of the program; it has been proposed for use in debugging, optimization, parallelization, and integration of programs. This article considers two types of static slices: executable and nonexecutable. E...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on programming languages and systems 1994-07, Vol.16 (4), p.1097-1113
Hauptverfasser:	Choi, Jong-Deok, Ferrante, Jeanne
Format:	Artikel
Sprache:	eng
Schlagworte:	Development frameworks and environments Software and its engineering Software creation and management Software defect analysis Software notations and tools Software testing and debugging Software verification and validation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!