𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The program dependence graph in static program testing

✍ Scribed by Bogdan Korel

Book ID
113163027
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
441 KB
Volume
24
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Efficient update of program dependence g
Efficient update of program dependence graphs
✍ Tomonori Takada; Shinichi Sato; Katsuro Inoue πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 331 KB

The program dependence graph (PDG) is a directed graph expressing dependencies between statements in a program. By tracing the PDG edges, it is possible to extract a set of statements relating to any statement (program slice, slice). The PDG and slices are used for debugging, maintenance, and simila

THE TESTING PROGRAM IN HYGIENE
THE TESTING PROGRAM IN HYGIENE
✍ Helen Perkins πŸ“‚ Article πŸ“… 1940 πŸ› John Wiley and Sons 🌐 English βš– 144 KB
XML graphs in program analysis
XML graphs in program analysis
✍ Anders MΓΈller; Michael Schwartzbach πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 722 KB

XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tailored for a range of applications. We present a unified definition, outline the key properties including validation of XM