scispace - formally typeset
Open AccessBook

Program Flow Analysis: Theory and Application

Steven S. Muchnick, +1 more
Reads0
Chats0
About: 
The article was published on 1981-04-01 and is currently open access. It has received 367 citations till now. The article focuses on the topics: Flow (mathematics).

read more

Citations
More filters
Journal ArticleDOI

Automated software test data generation

B. Korel
- 01 Aug 1990 - 
TL;DR: Values of array indexes and pointers are known at each step of program execution; this information is used to overcome difficulties of array and pointer handling to significantly increase the speed of the search process.
Journal ArticleDOI

Compiler transformations for high-performance computing

David F. Bacon, +2 more
- 01 Dec 1994 - 
TL;DR: This survey is a comprehensive overview of the important high-level program restructuring techniques for imperative languages, such as C and Fortran, and describes the purpose of each transformation, how to determine if it is legal, and an example of its application.
Proceedings ArticleDOI

Model checking for programming languages using VeriSoft

Patrice Godefroid
TL;DR: This paper discusses how model checking can be extended to deal directly with "actual" descriptions of concurrent systems, e.g., implementations of communication protocols written in programming languages such as C or C++, and introduces a new search technique that is suitable for exploring the state spaces of such systems.
Journal ArticleDOI

Recipes for adjoint code construction

Ralf Giering, +1 more
- 01 Dec 1998 - 
TL;DR: The described method is based on a few basic principles, which permits the establishment of simple construction rules for adjoint statements and complete adjoint subprograms and is an implementation of the tangent linear and adjoint model compiler (TAMC).
Journal ArticleDOI

Dynamic program slicing

B. Korel, +1 more
- 26 Oct 1988 - 
TL;DR: A dynamic program slice is an executable subset of the original program that produces the same computations on a subset of selected variables and inputs that can be handled more precisely and the size of slice can be significantly reduced, leading to a finer localization of the fault.