Flow Analysis of Computer Programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Flow Analysis of Computer Programs

Source

Pages: 232

Medium: Paperback

Year of Publication: 1977

ISBN:0444002162

Author

Matthew S. Hecht

Publisher

Elsevier Science Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 208

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Book Save this Book to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 208

	Marc A. Kaplan , Jeffrey D. Ullman, A Scheme for the Automatic Inference of Variable Types, Journal of the ACM (JACM), v.27 n.1, p.128-145, Jan. 1980
	Yong-fong Lee , Thomas J. Marlowe , Barbara G. Ryder, Performing data flow analysis in parallel, Proceedings of the 1990 conference on Supercomputing, p.942-951, October 1990, New York, New York, United States
	Thomas J. Marlowe , Barbara G. Ryder, An efficient hybrid algorithm for incremental data flow analysis, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.184-196, December 1989, San Francisco, California, United States
	Dan Grove , Linda Torczon, Interprocedural constant propagation: a study of jump function implementation, ACM SIGPLAN Notices, v.28 n.6, p.90-99, June 1993
	David A. Gustafson , Joo T. Tan , Perla Weaver, Software measure specification, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.163-168, Dec. 1993
	Siddhartha Chatterjee, Compiling nested data-parallel programs for shared-memory multiprocessors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.3, p.400-462, July 1993
	Simon C. Shaw , Michael Goldstein , Malcolm Munro , Elizabeth Burd, Moral Dominance Relations for Program Comprehension, IEEE Transactions on Software Engineering, v.29 n.9, p.851-863, September 2003
	John F. Schrage, Educator's view of structured concepts, Proceedings of the ACM 1980 annual conference, p.327-341, January 1980
	Yong-Fong Lee , Barbara G. Ryder, A comprehensive approach to parallel data flow analysis, Proceedings of the 6th international conference on Supercomputing, p.236-247, July 19-24, 1992, Washington, D. C., United States
	Robert Endre Tarjan, A Unified Approach to Path Problems, Journal of the ACM (JACM), v.28 n.3, p.577-593, July 1981
	Jens Knoop , Bernhard Steffen , Jürgen Vollmer, Parallelism for free: efficient and optimal bitvector analyses for parallel programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.268-299, May 1996
	Pär Emanuelson , Anders Haraldsson, On compiling embedded languages in LISP, Proceedings of the 1980 ACM conference on LISP and functional programming, p.208-215, August 25-27, 1980, Stanford University, California, United States
	Bob Paige, Research Retrospective, Higher-Order and Symbolic Computation, v.16 n.1-2, p.7-13, March-June 2003
	D. M. Dhamdhere , Harish Patil, An elimination algorithm for bidirectional data flow problems using edge placement, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.312-336, April 1993
	Barbara G. Ryder , Marvin C. Paull, Incremental data-flow analysis algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.1-50, Jan. 1988
	Zhiyuan Li , Pen-Chung Yew, Efficient interprocedural analysis for program parallelization and restructuring, ACM SIGPLAN Notices, v.23 n.9, p.85-99, Sept. 1988
	Leonard I. Vanek , Rudolf Marty, Hierarchical coroutines a mechanism for improved program structure, Proceedings of the 4th international conference on Software engineering, p.274-285, September 17-19, 1979, Munich, Germany
	Alan Deutsch, On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.157-168, December 1989, San Francisco, California, United States
	Ken Kennedy , Ulrich Kremer, Automatic data layout for high performance Fortran, Proceedings of the 1995 ACM/IEEE conference on Supercomputing (CDROM), p.76-es, December 04-08, 1995, San Diego, California, United States
	Narayan C. Debnath, A new abstraction for the study of module interconnection, Proceedings of the 19th annual conference on Computer Science, p.181-189, April 1991, San Antonio, Texas, United States
	Brian R. Murphy , Monica S. Lam, Program analysis with partial transfer functions, ACM SIGPLAN Notices, v.34 n.11, p.94-103, Nov. 1999
	Janusz Laski , William Stanley , Jim Hurst, Dependency analysis of Ada programs, ACM SIGAda Ada Letters, v.XVIII n.6, p.263-275, Nov./Dec. 1998
	Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983
	Michael Gerndt, Array distribution in SUPERB, Proceedings of the 3rd international conference on Supercomputing, p.164-174, June 05-09, 1989, Crete, Greece
	William Landi , Barbara G. Ryder , Sean Zhang, Interprocedural modification side effect analysis with pointer aliasing, ACM SIGPLAN Notices, v.28 n.6, p.56-67, June 1993
	John H. Reif, Data flow analysis of communicating processes, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.257-268, January 29-31, 1979, San Antonio, Texas
	D Harel, A linear algorithm for finding dominators in flow graphs and related problems, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.185-194, May 06-08, 1985, Providence, Rhode Island, United States
	Martin Carroll , Barbara G Ryder, An incremental algorithm for software analysis, ACM SIGPLAN Notices, v.22 n.1, p.171-179, January 1987
	Ron Tischler , Robin Schaufler , Charlotte Payne, Static analysis of programs as an aid to debugging, Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, p.155-158, January 1983
	Gleb Naumovich , George S. Avrunin , Lori A. Clarke, An efficient algorithm for computing MHP information for concurrent Java programs, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.338-354, Nov. 1999
	Cliff Click , Keith D. Cooper, Combining analyses, combining optimizations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.2, p.181-196, March 1995
	R. H. Katz , E. Wong, Decompiling CODASYL DML into retional queries, ACM Transactions on Database Systems (TODS), v.7 n.1, p.1-23, March 1982
	Jong-Deok Choi , Ron Cytron , Jeanne Ferrante, Automatic construction of sparse data flow evaluation graphs, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.55-66, January 21-23, 1991, Orlando, Florida, United States
	Robert A. Mueller , Joseph Varghese, Retargetable microcode synthesis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.257-276, April 1987
	Gleb N. Naumovich , Lori A. Clarke , Leon J. Osterweil, Verification of communication protocols using data flow analysis, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.93-105, Nov. 1996
	O. Shivers, Control flow analysis in scheme, ACM SIGPLAN Notices, v.23 n.7, p.164-174, July 1988
	David Lacey , Neil D. Jones , Eric Van Wyk , Carl Christian Frederiksen, Proving correctness of compiler optimizations by temporal logic, ACM SIGPLAN Notices, v.37 n.1, p.283-294, Jan. 2002
	Peng-Sheng Chen , Ming-Yu Hung , Yuan-Shin Hwang , Roy Dz-Ching Ju , Jenq Kuen Lee, Compiler support for speculative multithreading architecture with probabilistic points-to analysis, ACM SIGPLAN Notices, v.38 n.10, October 2003
	Stephen P. Masticola , Thomas J. Marlowe , Barbara G. Ryder, Lattice frameworks for multisource and bidirectional data flow problems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.5, p.777-803, Sept. 1995
	Jack W. Davidson , Christopher W. Fraser, The Design and Application of a Retargetable Peephole Optimizer, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.191-202, April 1980
	Stefan M. Freudenberger , Jacob T. Schwartz , Micha Sharir, Experience with the SETL Optimizer, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.26-45, Jan. 1983
	Gleb Naumovich , George S. Avrunin, A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.24-34, Nov. 1998
	Roland Wismüller, Debugging of globally optimized programs using data flow analysis, ACM SIGPLAN Notices, v.29 n.6, p.278-289, June 1994
	Matthew B. Dwyer , Lori A. Clarke, Data flow analysis for verifying properties of concurrent programs, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.62-75, Dec. 1994
	Ira R. Forman, Global data flow analysis by decomposition into primes, Proceedings of the 6th international conference on Software engineering, p.386-392, September 13-16, 1982, Tokyo, Japan
	Robert Endre Tarjan, Fast Algorithms for Solving Path Problems, Journal of the ACM (JACM), v.28 n.3, p.594-614, July 1981
	Terrence C. Miller, Type checking in an imperfect world, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.237-243, January 29-31, 1979, San Antonio, Texas
	J. K. Joiner , W. T. Tsai, Re-engineering legacy Cobol programs, Communications of the ACM, v.41 n.5es, May 1998
	Anita L. Chow , Andres Rudmik, The design of a data flow analyzer, ACM SIGPLAN Notices, v.17 n.6, p.106-113, June 1982
	Robert Paige , Shaye Koenig, Finite Differencing of Computable Expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.402-454, July 1982
	Michael Weiss, The transitive closure of control dependence: the iterated join, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.178-190, June 1992
	Roy F. Touzeau, A Fortran compiler for the FPS-164 scientific computer, ACM SIGPLAN Notices, v.19 n.6, p.48-57, June 1984
	Jonathan E. Shopiro, Theseus—a programming language for relational databeses, ACM Transactions on Database Systems (TODS), v.4 n.4, p.493-517, Dec. 1979
	M. D. Carroll , B. G. Ryder, Incremental data flow analysis via dominator and attribute update, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.274-284, January 10-13, 1988, San Diego, California, United States
	Gleb Naumovich, Using the observer design pattern for implementation of data flow analyses, ACM SIGSOFT Software Engineering Notes, v.28 n.1, January 2003
	Jens Knoop , Oliver Rüthing , Bernhard Steffen, The power of assignment motion, ACM SIGPLAN Notices, v.30 n.6, p.233-245, June 1995
	István Forgács, Double iterative framework for flow-sensitive interprocedural data flow analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.1, p.29-55, Jan. 1994
	Eduard Mehofer , Bernhard Scholz, Probabilistic data flow system with two-edge profiling, ACM SIGPLAN Notices, v.35 n.7, p.65-72, July 2000
	Miquel Huguet , Tomás Lang, Architectural support for reduced register saving/restoring in single-window register files, ACM Transactions on Computer Systems (TOCS), v.9 n.1, p.66-97, Feb. 1991
	David A. Schmidt, Data flow analysis is model checking of abstract interpretations, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.38-48, January 19-21, 1998, San Diego, California, United States
	Mariam Kamkar , Nahid Shahmehri , Peter Fritzson, Affect-chaining and dependency oriented flow analysis applied to queries of programs, Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES, p.36-44, May 04-06, 1988, Cannes, France
	Robert E. Skibbe, PACE - a microprogram evaluation system, ACM SIGMICRO Newsletter, v.13 n.4, p.181-191, Dec. 1982
	P. A. Bloniarz , H. B. Hunt, III , D. J. Rosenkrantz, Algebraic Structures with Hard Equivalence and Minimization Problems, Journal of the ACM (JACM), v.31 n.4, p.879-904, Oct. 1984
	Frank Kenneth Zadeck, Incremental data flow analysis in a structured program editor, ACM SIGPLAN Notices, v.19 n.6, p.132-143, June 1984
	Martina Marré , Antonia Bertolino, Unconstrained duals and their use in achieving all-uses coverage, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.147-157, May 1996
	Jens Knoop , Oliver Rüthing , Bernhard Steffen, Optimal code motion: theory and practice, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1117-1155, July 1994
	Steven J. Beaty, Genetic algorithms and instruction scheduling, Proceedings of the 24th annual international symposium on Microarchitecture, p.206-211, September 1991, Albuquerque, New Mexico, Puerto Rico
	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987
	Thomas J. Marlowe, Jr., A least cost partition algorithm, Proceedings of 1986 ACM Fall joint computer conference, p.637-647, November 1986, Dallas, Texas, United States
	William Landi, Undecidability of static analysis, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.4, p.323-337, Dec. 1992
	Jeanne Ferrante , Karl J. Ottenstein, A program form based on data dependency in predicate regions, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.217-236, January 24-26, 1983, Austin, Texas
	Harold Johnson, Data flow analysis for `intractable' system software, ACM SIGPLAN Notices, v.21 n.7, p.109-117, July 1986
	Siddhartha Chatterjee , John R. Gilbert , Robert Schreiber , Shang-Hua Teng, Automatic array alignment in data-parallel programs, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.16-28, March 1993, Charleston, South Carolina, United States
	Dhananjay M. Dhamdhere , Uday P. Khedker, Complexity of bi-directional data flow analysis, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.397-408, March 1993, Charleston, South Carolina, United States
	Vicki H. Allan , Robert A. Mueller, Phase coupling for horizontal microcode generation, Proceedings of the 20th annual workshop on Microprogramming, p.115-125, December 01-04, 1987, Colorado Springs, Colorado, United States
	Jens Knoop , Eduard Mehofer, Distribution Assignment Placement: Effective Optimization of Redistribution Costs, IEEE Transactions on Parallel and Distributed Systems, v.13 n.6, p.628-647, June 2002
	Uday P. Khedker , Dhananjay M. Dhamdhere, A generalized theory of bit vector data flow analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1472-1511, Sept. 1994
	Johan Janssen , Henk Corporaal, Making graphs reducible with controlled node splitting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.6, p.1031-1052, Nov. 1997
	Martina Marré , Antonia Bertolino, Reducing and estimating the cost of test coverage criteria, Proceedings of the 18th international conference on Software engineering, p.486-494, March 25-29, 1996, Berlin, Germany
	D. A. Taffs , M. W. Taffs , J. C. Rienzo , T. R. Hampson, The ALS Ada compiler global optimizer, ACM SIGAda Ada Letters, v.V n.2, p.355-366, Sep., Oct. 1985
	Ken Kennedy , Ulrich Kremer, Automatic data layout for distributed-memory machines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.4, p.869-916, July 1998
	Arun Lakhotia, Rule-based approach to computing module cohesion, Proceedings of the 15th international conference on Software Engineering, p.35-44, May 17-21, 1993, Baltimore, Maryland, United States
	Mark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, United States
	Jean-Francois Bergeretti , Bernard A. Carré, Information-flow and data-flow analysis of while-programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.37-61, Jan. 1985
	Edmond Schonberg , Jacob T. Schwartz , Micha Sharir, An Automatic Technique for Selection of Data Representations in SETL Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.2, p.126-143, April 1981
	F. Nielson , R. H. Nielson, Automatic binding time analysis for a typed &lgr;-calculus, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.98-106, January 10-13, 1988, San Diego, California, United States
	Robert A. Mueller , Joseph Varghese , Vicki H. Allan, Global methods in the flow graph approach to retargetable microcode generation, ACM SIGMICRO Newsletter, v.15 n.4, p.275-284, Dec. 1984
	D. M. Dhamdhere , K. V. Sankaranarayanan, Dynamic currency determination in optimized programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.6, p.1111-1130, Nov. 1998
	Michael D. Poe , Ross Goodell , Simon Steely, Jr., Issues of the design of a low level microprogramming language for global microcode compaction, ACM SIGMICRO Newsletter, v.12 n.4, p.88-94, Dec. 1981
	Hasan Ural , Bo Yang, Modeling software for accurate data flow representation, Proceedings of the 15th international conference on Software Engineering, p.277-286, May 17-21, 1993, Baltimore, Maryland, United States
	Michael Burke, An interval-based approach to exhaustive and incremental interprocedural data-flow analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.341-395, July 1990
	Douglas Long , Lori A. Clarke, Data flow analysis of concurrent systems that use the rendezvous model of synchronization, Proceedings of the symposium on Testing, analysis, and verification, p.21-35, October 08-10, 1991, Victoria, British Columbia, Canada
	B. R. Rau , C. D. Glaeser, Some scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing, ACM SIGMICRO Newsletter, v.12 n.4, p.183-198, Dec. 1981
	Trevor Lukey , Kenneth Loose , David R. Hill, Implementation of a debugging aid for logic errors in Pascal programs, ACM SIGCSE Bulletin, v.19 n.1, p.386-390, Feb. 1987
	Christopher W. Fraser, A compact, machine-independent peephole optimizer, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-6, January 29-31, 1979, San Antonio, Texas
	Jens Knoop , Oliver Rüthing , Bernhard Steffen, Lazy code motion, ACM SIGPLAN Notices, v.27 n.7, p.224-234, July 1992
	Rémi Triolet , Francois Irigoin , Paul Feautrier, Direct parallelization of call statements, ACM SIGPLAN Notices, v.21 n.7, p.176-185, July 1986
	Arun Lakhotia, Constructing call multigraphs using dependence graphs, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.273-284, March 1993, Charleston, South Carolina, United States
	Ira R. Forman, An algebra for data flow anomaly detection, Proceedings of the 7th international conference on Software engineering, p.278-286, March 26-29, 1984, Orlando, Florida, United States
	Javier Esparza , Andreas Podelski, Efficient algorithms for pre* and post* on interprocedural parallel flow graphs, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-11, January 19-21, 2000, Boston, MA, USA
	Philip Sweany , Steven Beaty, Post-compaction register assignment in a retargetable compiler, Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture, p.107-116, November 27-29, 1990, Orlando, Florida, United States
	Kathleen Knobe , Vivek Sarkar, Array SSA form and its use in parallelization, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.107-120, January 19-21, 1998, San Diego, California, United States
	Neil D. Jones , Steven S. Muchnick, A flexible approach to interprocedural data flow analysis and programs with recursive data structures, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.66-74, January 25-27, 1982, Albuquerque, Mexico
	Sallie Henry , Dennis Kafura , Kathy Harris, On the relationships among three software metrics, ACM SIGMETRICS Performance Evaluation Review, v.10 n.1, p.81-88, Spring 1981
	D. E. Stevenson, A canonical form for parallel programs, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.536-538, January 19-20, 1988, Pasadena, California, United States
	Vugranam C. Sreedhar , Guang R. Gao , Yong-Fong Lee, Identifying loops using DJ graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.6, p.649-658, Nov. 1996
	David Melski , Thomas Reps, Interconvertbility of set constraints and context-free language reachability, ACM SIGPLAN Notices, v.32 n.12, p.74-89, Dec. 1997
	Janusz Laski , Wojciech Szermer , Piotr Luczycki, Dynamic mutation testing in integrated regression analysis, Proceedings of the 15th international conference on Software Engineering, p.108-117, May 17-21, 1993, Baltimore, Maryland, United States
	Jens Knoop , Bernhard Steffen, Code motion for explicitly parallel programs, ACM SIGPLAN Notices, v.34 n.8, p.13-24, Aug. 1999
	Rita Z. Altucher , William Landi, An extended form of must alias analysis for dynamic allocation, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.74-84, January 23-25, 1995, San Francisco, California, United States
	J. Eugene Ball, Predicting the effects of optimization on a procedure body, ACM SIGPLAN Notices, v.14 n.8, p.214-220, August 1979
	Kim Marriott , Harald Søndergaard , Neil D. Jones, Denotational abstract interpretation of logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.607-648, May 1994
	Simeon C. Ntafos, An evaluation of required element testing strategies, Proceedings of the 7th international conference on Software engineering, p.250-256, March 26-29, 1984, Orlando, Florida, United States
	Gleb Naumovich, A conservative algorithm for computing the flow of permissions in Java programs, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
	Jon Beck , David Eichmann, Program and interface slicing for reverse engineering, Proceedings of the 15th international conference on Software Engineering, p.509-518, May 17-21, 1993, Baltimore, Maryland, United States
	Robert E. Tarjan , Jacobo Valdes, Prime subprogram parsing of a program, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.95-105, January 28-30, 1980, Las Vegas, Nevada
	Mark Weiser, Programmers use slices when debugging, Communications of the ACM, v.25 n.7, p.446-452, July 1982
	Thomas Jensen, Disjunctive program analysis for algebraic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.5, p.751-803, Sept. 1997
	Matthew B. Dwyer , Lori A. Clarke, A flexible architecture for building data flow analyzers, Proceedings of the 18th international conference on Software engineering, p.554-564, March 25-29, 1996, Berlin, Germany
	Sebastian Danicic , Mark Harman, Espresso: a slicer generator, Proceedings of the 2000 ACM symposium on Applied computing, p.831-839, March 2000, Como, Italy
	Michael D. Poe, Heuristics for the global optimization of microprograms, ACM SIGMICRO Newsletter, v.11 n.3-4, p.13-22, Dec. 1980
	Janusz Laski , William Stanley , Pawel Podgorski, Beyond ASIS: program data bases and tool-oriented queries, ACM SIGAda Ada Letters, v.XXI n.4, December 2001
	H. D. Pande , W. A. Landi , B. G. Ryder, Interprocedural Def-Use Associations for C Systems with Single Level Pointers, IEEE Transactions on Software Engineering, v.20 n.5, p.385-403, May 1994
	Zahira Ammarguellat, A Control-Flow Normalization Algorithm and its Complexity, IEEE Transactions on Software Engineering, v.18 n.3, p.237-251, March 1992
	Michael R. Laurence , Sebastian Danicic , Mark Harman , Rob Hierons , John Howroyd, Equivalence of conservative, free, linear program schemas is decidable, Theoretical Computer Science, v.290 n.1, p.831-862, 1 January 2003
	Uday P. Khedker , Dhananjay M. Dhamdhere, Bidirectional data flow analysis: myths and reality, ACM SIGPLAN Notices, v.34 n.6, June 1999
	Markus Müller-Olm , Helmut Seidl, Computing polynomial program invariants, Information Processing Letters, v.91 n.5, p.233-244, 15 September 2004
	David A. Schmidt, Structure-preserving binary relations for program abstraction, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	Yong-Fong Lee , Barbara G. Ryder , Marc E. Fiuczynski, Region Analysis: A Parallel Elimination Method for Data Flow Analysis, IEEE Transactions on Software Engineering, v.21 n.11, p.913-926, November 1995
	Huisheng Gong , Monika Schmidt, A complexity measure based on selection and nesting, ACM SIGMETRICS Performance Evaluation Review, v.13 n.1, p.14-19, June 1985
	Helmut Seidl , Bernhard Steffen, Constraint-based inter-procedural analysis of parallel programs, Nordic Journal of Computing, v.7 n.4, p.375-400, Winter 2000
	Neil D. Jones , Alan Mycroft, Data flow analysis of applicative programs using minimal function graphs, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.296-306, January 01, 1986, St. Petersburg Beach, Florida
	Nick Benton, Simple relational correctness proofs for static analyses and program transformations, ACM SIGPLAN Notices, v.39 n.1, p.14-25, January 2004
	Karel Culik, What is a flowchart loop and about structured programming, ACM SIGPLAN Notices, v.15 n.1, p.45-57, January 1980
	P. G. Frankl , E. J. Weyuker, An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering, v.14 n.10, p.1483-1498, October 1988
	Markus Müller-Olm, Precise interprocedural dependence analysis of parallel programs, Theoretical Computer Science, v.311 n.1-3, p.325-388, 23 January 2004
	Matthew B. Dwyer , Matthew J. Craig , Eric Runquist, An application-independent concurrency skeleton in Ada 95, Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, p.179-192, December 03-07, 1996, Philadelphia, Pennsylvania, United States
	William Landi , Barbara G. Ryder, Pointer-induced aliasing: a problem taxonomy, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.93-103, January 21-23, 1991, Orlando, Florida, United States
	Zhiqiang Tan , Karen A. Lemone, A research environment for incremental data flow analysis, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.356-362, March 1985, New Orleans, Louisiana, United States
	Yung-Ming Fang , D. F. Wong, Simultaneous functional-unit binding and floorplanning, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.317-321, November 06-10, 1994, San Jose, California, United States
	J. Bieman , J. Schultz, Estimating the number of test cases required to satisfy the all-du-paths testing criterion, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.179-186, Dec. 1989
	Sandra Rapps , Elaine J. Weyuker, Data flow analysis techniques for test data selection, Proceedings of the 6th international conference on Software engineering, p.272-278, September 13-16, 1982, Tokyo, Japan
	Fred C. Chow , John L. Hennessy, The priority-based coloring approach to register allocation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.4, p.501-536, Oct. 1990
	Alexander D. Stoyen , Thomas J. Marlowe , Mohamed F. Younis , Plamen V. Petrov, A Development Environment for Complex Distributed Real-Time Applications, IEEE Transactions on Software Engineering, v.25 n.1, p.50-74, January 1999
	Peter Marwedel, A retargetable compiler for a high-level microprogramming language, ACM SIGMICRO Newsletter, v.15 n.4, p.267-274, Dec. 1984
	Larry Carter , Jeanne Ferrante , Clark Thomborson, Folklore confirmed: reducible flow graphs are exponentially larger, ACM SIGPLAN Notices, v.38 n.1, p.106-114, January 2003
	Jens Knoop , Oliver Rüthing , Bernhard Steffen, Partial dead code elimination, ACM SIGPLAN Notices, v.29 n.6, p.147-158, June 1994
	Kwangkeun Yi , Williams Ludwell Harrison, III, Automatic generation and management of interprocedural program analyses, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.246-259, March 1993, Charleston, South Carolina, United States
	Jens Knoop , Oliver Rüthing , Bernhard Steffen, Lazy code motion, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Barbara G. Ryder , William Landi , Hemant D. Pande, Profiling an Incremental Data Flow Analysis Algorithm, IEEE Transactions on Software Engineering, v.16 n.2, p.129-140, February 1990
	David Lacey , Neil D. Jones , Eric Van Wyk , Carl Christian Frederiksen, Compiler Optimization Correctness by Temporal Logic, Higher-Order and Symbolic Computation, v.17 n.3, p.173-206, September 2004
	Antonia Bertolino , Martina Marré, Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.885-899, December 1994
	Gerardo Canfora , Aniello Cimitile , Ugo de Carlini , Andrea de Lucia, An Extensible System for Source Code Analysis, IEEE Transactions on Software Engineering, v.24 n.9, p.721-740, September 1998
	B. Korel, PELAS-Program Error-Locating Assistant System, IEEE Transactions on Software Engineering, v.14 n.9, p.1253-1260, September 1988
	Karl J. Ottenstein, Intermediate program representations in compiler construction: a supplemental bibliography, ACM SIGPLAN Notices, v.19 n.7, July 1984
	Gerardo Canfora , Aniello Cimitile , Ugo de Carlini, A Logic-Based Approach to Reverse Engineering Tools Production, IEEE Transactions on Software Engineering, v.18 n.12, p.1053-1064, December 1992
	Olin Shivers, Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Martina Marré , Antonia Bertolino, Using Spanning Sets for Coverage Testing, IEEE Transactions on Software Engineering, v.29 n.11, p.974-984, November 2003
	Gleb Naumovich , Paolina Centonze, Static analysis of role-based access control in J2EE applications, ACM SIGSOFT Software Engineering Notes, v.29 n.5, September 2004
	Matthew B. Dwyer , Lori A. Clarke , Jamieson M. Cobleigh , Gleb Naumovich, Flow analysis for verifying properties of concurrent software systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.4, p.359-430, October 2004
	Baowen Xu , Ju Qian , Xiaofang Zhang , Zhongqiang Wu , Lin Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, v.30 n.2, March 2005
	Linda Zucconi, A comment on Chapin's and Denniston's "characteristics of a structured program", ACM SIGPLAN Notices, v.13 n.10, October 1978
	Marcos L. Chaim , José C. Maldonado , Mario Jino, A debugging strategy based on the requirements of testing, Journal of Software Maintenance: Research and Practice, v.16 n.4-5, p.277-308, July-October 2004
	Thomas Fahringer , Bernhard Scholz, A Unified Symbolic Evaluation Framework for Parallelizing Compilers, IEEE Transactions on Parallel and Distributed Systems, v.11 n.11, p.1105-1125, November 2000
	Hanne Riis Nielson , Flemming Nielson, Flow logic: a multi-paradigmatic approach to static analysis, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	Zehra Sura , Xing Fang , Chi-Leung Wong , Samuel P. Midkiff , Jaejin Lee , David Padua, Compiler techniques for high performance sequentially consistent java programs, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, June 15-17, 2005, Chicago, IL, USA
	Peng-Sheng Chen , Yuan-Shin Hwang , Roy Dz-Ching Ju , Jenq Kuen Lee, Interprocedural Probabilistic Pointer Analysis, IEEE Transactions on Parallel and Distributed Systems, v.15 n.10, p.893-907, October 2004
	Erica Glynn , Ian Hayes , Anthony MacDonald, Integration of generic program analysis tools into a software development environment, Proceedings of the Twenty-eighth Australasian conference on Computer Science, p.249-257, January 01, 2005, Newcastle, Australia
	Robert A. Mueller , Joseph Varghese, Flow graph machine models in microcode synthesis, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	H. Shin , M. Malek, Identification of microprogrammable loops for problem oriented architecture synthesis, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Che-Tai Lee , Zeng-Wei Hong , Jim-Min Lin, Linux kernel customization for embedded systems by using call graph approach, Proceedings of the 2003 conference on Asia South Pacific design automation, January 21-24, 2003, Kitakyushu, Japan
	Barbara G. Ryder, Incremental data flow analysis, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.167-176, January 24-26, 1983, Austin, Texas
	Sebastian Unger , Frank Mueller, Handling irreducible loops: optimized node splitting versus DJ-graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.4, p.299-333, July 2002
	Gaurav Mittal , David Zaretsky , Gokhan Memik , Prith Banerjee, Automatic extraction of function bodies from software binaries, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China
	L. J. Morell, A Theory of Fault-Based Testing, IEEE Transactions on Software Engineering, v.16 n.8, p.844-857, August 1990
	Barbara G. Ryder , J. Stephen Pendergrast, Experiments in Optimizing FP, IEEE Transactions on Software Engineering, v.14 n.4, p.444-454, April 1988
	Kurt M. Olender , Leon J. Osterweil, Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation, IEEE Transactions on Software Engineering, v.16 n.3, p.268-280, March 1990
	B. Belkhouche , Anastasia Nix , Johnette Hassell, Plagiarism detection in software designs, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	Vugranam C. Sreedhar , Guang R. Gao , Yong-Fong Lee, A new framework for exhaustive and incremental data flow analysis using DJ graphs, ACM SIGPLAN Notices, v.31 n.5, p.278-290, May 1996
	Thomas Reps, Undecidability of context-sensitive data-independence analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.1, p.162-186, Jan. 2000
	Eugene M. Myers, A precise inter-procedural data flow algorithm, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.219-230, January 26-28, 1981, Williamsburg, Virginia
	E. J. Weyuker, Evaluating Software Complexity Measures, IEEE Transactions on Software Engineering, v.14 n.9, p.1357-1365, September 1988
	Robert A. Mueller , Michael R. Duda , Stephen M. O'Haire, A survey of resource allocation methods in optimizing microcode compilers, ACM SIGMICRO Newsletter, v.15 n.4, p.285-295, Dec. 1984
	Gaurav Mittal , David Zaretsky , Xiaoyong Tang , Prith Banerjee, An overview of a compiler for mapping software binaries to hardware, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.15 n.11, p.1177-1190, November 2007
	Barbara G. Ryder , Marvin C. Paull, Elimination algorithms for data flow analysis, ACM Computing Surveys (CSUR), v.18 n.3, p.277-316, Sept. 1986
	Heng Lu , W. K. Chan , T. H. Tse, Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	David A. Schmidt, A calculus of logical relations for over- and underapproximating static analyses, Science of Computer Programming, v.64 n.1, p.29-53, January, 2007
	Bageshri Karkare , Uday P. Khedker, An improved bound for call strings based interprocedural analysis of bit vector frameworks, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.6, p.38-es, October 2007
	Neil D. Jones , Nils Andersen, Flow analysis of lazy higher-order functional programs, Theoretical Computer Science, v.375 n.1-3, p.120-136, May, 2007
	Heng Lu , W.K. Chan , T.H. Tse, Testing pervasive software in the presence of context inconsistency resolution services, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Ward Douglas Maurer, Generalized structured programs and loop trees, Science of Computer Programming, v.67 n.2-3, p.223-246, July, 2007
	Yuan-Shin Hwang_cor , Joel Saltz, Interprocedural definition-use chains of dynamic pointer-linked data structures, Scientific Programming, v.11 n.1, p.3-37, January 2003
	M. G. J. van den Brand , P. Klint , C. Verhoef, Reverse engineering and system renovation—an annotated bibliography, ACM SIGSOFT Software Engineering Notes, v.22 n.1, p.57-68, Jan. 1997
	Janusz Laski, Programming faults and errors: Towards a theory of software incorrectness, Annals of Software Engineering, 4, p.79-114, 1997
	Nabor C. Mendonça , Jeff Kramer, An Approach for Recovering Distributed System Architectures, Automated Software Engineering, v.8 n.3-4, p.311-354, August 2001
	Gerardo Canfora , Andrea De lucia , Giuseppe A. Di Lucca, A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation, Automated Software Engineering, v.6 n.3, p.233-263, July 1999
	David A. Schmidt, Trace-Based Abstract Interpretation of Operational Semantics, Lisp and Symbolic Computation, v.10 n.3, p.237-271, May 1998
	Alexander Sakharov, Propagation of constants and assertions, ACM SIGPLAN Notices, v.29 n.5, p.3-6, May 1994
	Thomas J. Marlowe , William G. Landi , Barbara G. Ryder , Jong-Deok Choi , Michael G. Burke , Paul Carini, Pointer-induced aliasing: a clarification, ACM SIGPLAN Notices, v.28 n.9, p.67-70, Sept. 1993
	Vladimir I. Shelekhov , Sergey V. Kuksenko, Object analysis of program, ACM SIGPLAN Notices, v.29 n.9, p.125-134, Sept. 1994
	R Bernstein, Testing for semilattices, ACM SIGACT News, v.18 n.1, p.49-50, Summer 1986
	C. May, Mimic: a fast system/370 simulator, ACM SIGPLAN Notices, v.22 n.7, p.1-13, July 1987
	Eric Van Wyk , Lijesh Krishnan, Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars, Electronic Notes in Theoretical Computer Science (ENTCS), v.176 n.3, p.109-122, July, 2007
	Aditya Thakur , R. Govindarajan, Comprehensive path-sensitive data-flow analysis, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
	Uday P. Khedker , Amitabha Sanyal , Amey Karkare, Heap reference analysis using access graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.1, p.1-es, November 2007
	Xueqi Cheng , Michael S. Hsiao, Simulation-directed invariant mining for software verification, Proceedings of the conference on Design, automation and test in Europe, March 10-14, 2008, Munich, Germany
	Allen L. Brown , Dale E. Gaucas , Dan Benanav, An algebraic foundation for truth maintenance, Proceedings of the 10th international joint conference on Artificial intelligence, p.973-980, August 23-28, 1987, Milan, Italy
	V. Sarkar, Automatic partitioning of a program dependence graph into parallel tasks, IBM Journal of Research and Development, v.35 n.5-6, p.779-804, Sept./Nov. 1991