Skip header Section
Skip Bibliometrics Section
Flow Analysis of Computer ProgramsJanuary 1977
- Author:
- Matthew S. Hecht
Abstract
No abstract available.
Cited By
- Ghaleb A, Rubin J and Pattabiraman K AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities Proceedings of the 45th International Conference on Software Engineering, (945-956)
- Rentz N, Smyth S, Andersen L and von Hanxleden R Extracting Interactive Actor-Based Dataflow Models from Legacy C Code Diagrammatic Representation and Inference, (361-377)
- Colledanchise M, Cicala G, Domenichelli D, Natale L and Tacchella A Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (9841-9848)
Sadrosadati M, Mirhosseini A, Ehsani S, Sarbazi-Azad H, Drumond M, Falsafi B, Ausavarungnirun R and Mutlu O (2018). LTRF, ACM SIGPLAN Notices, 53:2, (489-502), Online publication date: 30-Nov-2018.- Sadrosadati M, Mirhosseini A, Ehsani S, Sarbazi-Azad H, Drumond M, Falsafi B, Ausavarungnirun R and Mutlu O LTRF Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, (489-502)
- Esparza J, Muscholl A and Walukiewicz I Static analysis of deterministic negotiations Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
- Filipiuk P, Nielson F and Nielson H Layered fixed point logic Proceedings of the 14th symposium on Principles and practice of declarative programming, (45-54)
- Burgstaller B, Scholz B and Blieberger J (2012). A symbolic analysis framework for static analysis of imperative programming languages, Journal of Systems and Software, 85:6, (1418-1439), Online publication date: 1-Jun-2012.
- Kirner R, Knoop J, Prantl A, Schordan M and Kadlec A (2011). Beyond loop bounds, Software and Systems Modeling (SoSyM), 10:3, (411-437), Online publication date: 1-Jul-2011.
- Prabhu T, Ramalingam S, Might M and Hall M EigenCFA Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (511-522)
- Schwarz M, Seidl H, Vojdani V, Lammich P and Müller-Olm M Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (93-104)
- Prabhu T, Ramalingam S, Might M and Hall M (2011). EigenCFA, ACM SIGPLAN Notices, 46:1, (511-522), Online publication date: 26-Jan-2011.
- Schwarz M, Seidl H, Vojdani V, Lammich P and Müller-Olm M (2011). Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol, ACM SIGPLAN Notices, 46:1, (93-104), Online publication date: 26-Jan-2011.
- Cousot P, Cousot R and Logozzo F Precondition inference from intermittent assertions and application to contracts on collections Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, (150-168)
- Steffen B and Rüthing O Quality engineering Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, (23-37)
- Cousot P, Cousot R, Feret J, Mauborgne L, Miné A and Rival X (2009). Why does Astrée scale up?, Formal Methods in System Design, 35:3, (229-264), Online publication date: 1-Dec-2009.
- Huang H, Tan H, Zhu J and Zhao W A Lightweight Approach to Partially Reuse Existing Component-Based System in Service-Oriented Environment Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems, (245-256)
- Lu H, Chan W and Tse T Testing pervasive software in the presence of context inconsistency resolution services Proceedings of the 30th international conference on Software engineering, (61-70)
- Thakur A and Govindarajan R Comprehensive path-sensitive data-flow analysis Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization, (55-63)
- Cooper K, Harvey T and Waterman T An adaptive strategy for inline substitution Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction, (69-84)
- Cheng X and Hsiao M Simulation-directed invariant mining for software verification Proceedings of the conference on Design, automation and test in Europe, (682-687)
- Schmidt D Internal and external logics of abstract interpretations Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation, (263-278)
- Khedker U, Sanyal A and Karkare A (2007). Heap reference analysis using access graphs, ACM Transactions on Programming Languages and Systems, 30:1, (1-es), Online publication date: 1-Nov-2007.
- Mittal G, Zaretsky D, Tang X and Banerjee P (2007). An overview of a compiler for mapping software binaries to hardware, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15:11, (1177-1190), Online publication date: 1-Nov-2007.
- Karkare B and Khedker U (2007). An improved bound for call strings based interprocedural analysis of bit vector frameworks, ACM Transactions on Programming Languages and Systems, 29:6, (38-es), Online publication date: 1-Oct-2007.
- Jones N and Andersen N (2007). Flow analysis of lazy higher-order functional programs, Theoretical Computer Science, 375:1-3, (120-136), Online publication date: 20-Apr-2007.
- Scholz B and Blieberger J A new elimination-based data flow analysis framework using annotated decomposition trees Proceedings of the 16th international conference on Compiler construction, (202-217)
- Farzan A and Madhusudan P Causal dataflow analysis for concurrent programs Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (102-116)
- Lu H, Chan W and Tse T Testing context-aware middleware-centric programs Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, (242-252)
- Burgstaller B, Scholz B and Blieberger J Symbolic analysis of imperative programming languages Proceedings of the 7th joint conference on Modular Programming Languages, (172-194)
- Lamprecht A, Margaria T and Steffen B Data-Flow analysis as model checking within the jABC Proceedings of the 15th international conference on Compiler Construction, (101-104)
- Müller-Olm M, Petter M and Seidl H Interprocedurally analyzing polynomial identities Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science, (50-67)
- Kaczmarek P and Krawczyk H A model of exception propagation in distributed applications Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, (994-1001)
- Sura Z, Fang X, Wong C, Midkiff S, Lee J and Padua D Compiler techniques for high performance sequentially consistent java programs Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, (2-13)
- Tamai T A pedagogical view on software modeling and graph-structured diagrams Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age, (59-70)
- Xu B, Qian J, Zhang X, Wu Z and Chen L (2005). A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, 30:2, (1-36), Online publication date: 1-Mar-2005.
- Mittal G, Zaretsky D, Memik G and Banerjee P Automatic extraction of function bodies from software binaries Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (928-931)
- Glynn E, Hayes I and MacDonald A Integration of generic program analysis tools into a software development environment Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38, (249-257)
- Dwyer M, Clarke L, Cobleigh J and Naumovich G (2004). Flow analysis for verifying properties of concurrent software systems, ACM Transactions on Software Engineering and Methodology, 13:4, (359-430), Online publication date: 1-Oct-2004.
- Chen P, Hwang Y, Ju R and Lee J (2004). Interprocedural Probabilistic Pointer Analysis, IEEE Transactions on Parallel and Distributed Systems, 15:10, (893-907), Online publication date: 1-Oct-2004.
- Müller-Olm M and Seidl H (2004). Computing polynomial program invariants, Information Processing Letters, 91:5, (233-244), Online publication date: 15-Sep-2004.
- Lacey D, Jones N, Van Wyk E and Frederiksen C (2004). Compiler Optimization Correctness by Temporal Logic, Higher-Order and Symbolic Computation, 17:3, (173-206), Online publication date: 1-Sep-2004.
- Belkhouche B, Nix A and Hassell J Plagiarism detection in software designs Proceedings of the 42nd annual ACM Southeast Conference, (207-211)
- Knoop J, Rüthing O and Steffen B (2004). Lazy code motion, ACM SIGPLAN Notices, 39:4, (460-472), Online publication date: 1-Apr-2004.
- Shivers O (2004). Higher-order control-flow analysis in retrospect, ACM SIGPLAN Notices, 39:4, (257-269), Online publication date: 1-Apr-2004.
- Müller-Olm M (2004). Precise interprocedural dependence analysis of parallel programs, Theoretical Computer Science, 311:1-3, (325-388), Online publication date: 23-Jan-2004.
- Benton N Simple relational correctness proofs for static analyses and program transformations Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-25)
- Benton N (2004). Simple relational correctness proofs for static analyses and program transformations, ACM SIGPLAN Notices, 39:1, (14-25), Online publication date: 1-Jan-2004.
- Marré M and Bertolino A (2003). Using Spanning Sets for Coverage Testing, IEEE Transactions on Software Engineering, 29:11, (974-984), Online publication date: 1-Nov-2003.
- Chen P, Hung M, Hwang Y, Ju R and Lee J (2003). Compiler support for speculative multithreading architecture with probabilistic points-to analysis, ACM SIGPLAN Notices, 38:10, (25-36), Online publication date: 1-Oct-2003.
- Shaw S, Goldstein M, Munro M and Burd E (2003). Moral Dominance Relations for Program Comprehension, IEEE Transactions on Software Engineering, 29:9, (851-863), Online publication date: 1-Sep-2003.
- Chen P, Hung M, Hwang Y, Ju R and Lee J Compiler support for speculative multithreading architecture with probabilistic points-to analysis Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, (25-36)
- Ryder B Dimensions of precision in reference analysis of object-oriented programming languages Proceedings of the 12th international conference on Compiler construction, (126-137)
- Sharygina N and Browne J Model checking software via abstraction of loop transitions Proceedings of the 6th international conference on Fundamental approaches to software engineering, (325-340)
- Paige B (2003). Research Retrospective, Higher-Order and Symbolic Computation, 16:1-2, (7-13), Online publication date: 1-Mar-2003.
- Carter L, Ferrante J and Thomborson C (2003). Folklore confirmed, ACM SIGPLAN Notices, 38:1, (106-114), Online publication date: 15-Jan-2003.
- Carter L, Ferrante J and Thomborson C Folklore confirmed Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (106-114)
- Fahringer T and Scholz B (2003). Advanced symbolic analysis for compilers, 10.5555/1767745, Online publication date: 1-Jan-2003.
- Laurence M, Danicic S, Harman M, Hierons R and Howroyd J (2003). Equivalence of conservative, free, linear program schemas is decidable, Theoretical Computer Science, 290:1, (831-862), Online publication date: 1-Jan-2003.
- Scholz B and Mehofer E Dataflow Frequency Analysis Based on Whole Program Paths Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques, (95-103)
- Knoop J and Mehofer E (2002). Distribution Assignment Placement, IEEE Transactions on Parallel and Distributed Systems, 13:6, (628-647), Online publication date: 1-Jun-2002.
- Schmidt D Structure-preserving binary relations for program abstraction The essence of computation, (245-265)
- Nielson H and Nielson F Flow logic The essence of computation, (223-244)
- Laski J, Stanley W and Podgorski P (2001). Beyond ASIS, ACM SIGAda Ada Letters, XXI:4, (81-90), Online publication date: 1-Dec-2001.
- Laski J, Stanley W and Podgorski P Beyond ASIS Proceedings of the 2001 annual ACM SIGAda international conference on Ada, (81-90)
- Hwang Y, Chen P, Lee J and Ju R Probabilistic points-to analysis Proceedings of the 14th international conference on Languages and compilers for parallel computing, (290-305)
- Mendonça N and Kramer J (2001). An Approach for Recovering Distributed System Architectures, Automated Software Engineering, 8:3-4, (311-354), Online publication date: 1-Aug-2001.
- Fahringer T and Scholz B (2000). A Unified Symbolic Evaluation Framework for Parallelizing Compilers, IEEE Transactions on Parallel and Distributed Systems, 11:11, (1105-1125), Online publication date: 1-Nov-2000.
- Mehofer E and Scholz B (2000). Probabilistic data flow system with two-edge profiling, ACM SIGPLAN Notices, 35:7, (65-72), Online publication date: 1-Jul-2000.
- Danicic S and Harman M Espresso Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (831-839)
- Esparza J and Podelski A Efficient algorithms for pre* and post* on interprocedural parallel flow graphs Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (1-11)
- Mehofer E and Scholz B Probabilistic data flow system with two-edge profiling Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization, (65-72)
- Murphy B and Lam M Program analysis with partial transfer functions Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (94-103)
- Murphy B and Lam M (1999). Program analysis with partial transfer functions, ACM SIGPLAN Notices, 34:11, (94-103), Online publication date: 1-Nov-1999.
- Knoop J and Steffen B (1999). Code motion for explicitly parallel programs, ACM SIGPLAN Notices, 34:8, (13-24), Online publication date: 1-Aug-1999.
- Canfora G, De lucia A and Di Lucca G (1999). A System for Generating Reverse Engineering Tools, Automated Software Engineering, 6:3, (233-263), Online publication date: 1-Jul-1999.
- Khedker U and Dhamdhere D (1999). Bidirectional data flow analysis, ACM SIGPLAN Notices, 34:6, (47-57), Online publication date: 1-Jun-1999.
- Knoop J and Steffen B Code motion for explicitly parallel programs Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming, (13-24)
- Knoop J and Rüthing O Optimization Under the Perspective of Soundness, Completeness, and Reusability Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (288-315)
- Stoyen A, Marlowe T, Younis M and Petrov P (1999). A Development Environment for Complex Distributed Real-Time Applications, IEEE Transactions on Software Engineering, 25:1, (50-74), Online publication date: 1-Jan-1999.
- Laski J, Stanley W and Hurst J (1998). Dependency analysis of Ada programs, ACM SIGAda Ada Letters, XVIII:6, (263-275), Online publication date: 1-Nov-1998.
- Dhamdhere D and Sankaranarayanan K (1998). Dynamic currency determination in optimized programs, ACM Transactions on Programming Languages and Systems, 20:6, (1111-1130), Online publication date: 1-Nov-1998.
- Naumovich G and Avrunin G (1998). A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel, ACM SIGSOFT Software Engineering Notes, 23:6, (24-34), Online publication date: 1-Nov-1998.
- Laski J, Stanley W and Hurst J Dependency analysis of Ada programs Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (263-275)
- Naumovich G and Avrunin G A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (24-34)
- Canfora G, Cimitile A, de Carlini U and de Lucia A (1998). An Extensible System for Source Code Analysis, IEEE Transactions on Software Engineering, 24:9, (721-740), Online publication date: 1-Sep-1998.
- Kennedy K and Kremer U (1998). Automatic data layout for distributed-memory machines, ACM Transactions on Programming Languages and Systems, 20:4, (869-916), Online publication date: 1-Jul-1998.
- Joiner J and Tsai W (1998). Re-engineering legacy Cobol programs, Communications of the ACM, 41:5es, (185-197), Online publication date: 1-May-1998.
- Schmidt D (1998). Trace-Based Abstract Interpretation of Operational Semantics, Lisp and Symbolic Computation, 10:3, (237-271), Online publication date: 1-May-1998.
- Knobe K and Sarkar V Array SSA form and its use in parallelization Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (107-120)
- Schmidt D Data flow analysis is model checking of abstract interpretations Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (38-48)
- Rüthing O (1998). Interacting code motion transformations, 10.5555/1755229, Online publication date: 1-Jan-1998.
- Knoop J (1998). Optimal interprocedural program optimization, 10.5555/1744646, Online publication date: 1-Jan-1998.
- Melski D and Reps T (1997). Interconvertbility of set constraints and context-free language reachability, ACM SIGPLAN Notices, 32:12, (74-89), Online publication date: 1-Dec-1997.
- Melski D and Reps T Interconvertbility of set constraints and context-free language reachability Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (74-89)
- van den Brand M, Klint P and Verhoef C (1997). Reverse engineering and system renovation—an annotated bibliography, ACM SIGSOFT Software Engineering Notes, 22:1, (57-68), Online publication date: 1-Jan-1997.
- Dwyer M, Craig M and Runquist E An application-independent concurrency skeleton in Ada 95 Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, (179-192)
- Dwyer M and Clarke L A flexible architecture for building data flow analyzers Proceedings of the 18th international conference on Software engineering, (554-564)
- Marré M and Bertolino A Reducing and estimating the cost of test coverage criteria Proceedings of the 18th international conference on Software engineering, (486-494)
- Sreedhar V, Gao G and Lee Y (1996). A new framework for exhaustive and incremental data flow analysis using DJ graphs, ACM SIGPLAN Notices, 31:5, (278-290), Online publication date: 1-May-1996.
- Sreedhar V, Gao G and Lee Y A new framework for exhaustive and incremental data flow analysis using DJ graphs Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (278-290)
- Marré M and Bertolino A Unconstrained duals and their use in achieving all-uses coverage Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, (147-157)
- Marré M and Bertolino A (1996). Unconstrained duals and their use in achieving all-uses coverage, ACM SIGSOFT Software Engineering Notes, 21:3, (147-157), Online publication date: 1-May-1996.
- Kennedy K and Kremer U Automatic data layout for high performance Fortran Proceedings of the 1995 ACM/IEEE conference on Supercomputing, (76-es)
- Lee Y, Ryder B and Fiuczynski M (1995). Region Analysis, IEEE Transactions on Software Engineering, 21:11, (913-926), Online publication date: 1-Nov-1995.
- Knoop J, Rüthing O and Steffen B The power of assignment motion Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, (233-245)
- Knoop J, Rüthing O and Steffen B (1995). The power of assignment motion, ACM SIGPLAN Notices, 30:6, (233-245), Online publication date: 1-Jun-1995.
- Altucher R and Landi W An extended form of must alias analysis for dynamic allocation Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (74-84)
- Dwyer M and Clarke L (1994). Data flow analysis for verifying properties of concurrent programs, ACM SIGSOFT Software Engineering Notes, 19:5, (62-75), Online publication date: 1-Dec-1994.
- Dwyer M and Clarke L Data flow analysis for verifying properties of concurrent programs Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, (62-75)
- Fang Y and Wong D Simultaneous functional-unit binding and floorplanning Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, (317-321)
- Shelekhov V and Kuksenko S (1994). Object analysis of program, ACM SIGPLAN Notices, 29:9, (125-134), Online publication date: 1-Sep-1994.
- Wismüller R Debugging of globally optimized programs using data flow analysis Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (278-289)
- Knoop J, Rüthing O and Steffen B Partial dead code elimination Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (147-158)
- Wismüller R (1994). Debugging of globally optimized programs using data flow analysis, ACM SIGPLAN Notices, 29:6, (278-289), Online publication date: 1-Jun-1994.
- Knoop J, Rüthing O and Steffen B (1994). Partial dead code elimination, ACM SIGPLAN Notices, 29:6, (147-158), Online publication date: 1-Jun-1994.
- Sakharov A (1994). Propagation of constants and assertions, ACM SIGPLAN Notices, 29:5, (3-6), Online publication date: 1-May-1994.
- Gustafson D, Tan J and Weaver P Software measure specification Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, (163-168)
- Gustafson D, Tan J and Weaver P (1993). Software measure specification, ACM SIGSOFT Software Engineering Notes, 18:5, (163-168), Online publication date: 1-Dec-1993.
- Marlowe T, Landi W, Ryder B, Choi J, Burke M and Carini P (1993). Pointer-induced aliasing, ACM SIGPLAN Notices, 28:9, (67-70), Online publication date: 1-Sep-1993.
- Grove D and Torczon L Interprocedural constant propagation Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, (90-99)
- Landi W, Ryder B and Zhang S Interprocedural modification side effect analysis with pointer aliasing Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, (56-67)
- Grove D and Torczon L (1993). Interprocedural constant propagation, ACM SIGPLAN Notices, 28:6, (90-99), Online publication date: 1-Jun-1993.
- Landi W, Ryder B and Zhang S (1993). Interprocedural modification side effect analysis with pointer aliasing, ACM SIGPLAN Notices, 28:6, (56-67), Online publication date: 1-Jun-1993.
- Beck J and Eichmann D Program and interface slicing for reverse engineering Proceedings of the 15th international conference on Software Engineering, (509-518)
- Laski J, Szermer W and Luczycki P Dynamic mutation testing in integrated regression analysis Proceedings of the 15th international conference on Software Engineering, (108-117)
- Lakhotia A Rule-based approach to computing module cohesion Proceedings of the 15th international conference on Software Engineering, (35-44)
- Dhamdhere D and Khedker U Complexity of bi-directional data flow analysis Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (397-408)
- Yi K and Harrison W Automatic generation and management of interprocedural program analyses Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (246-259)
- Canfora G, Cimitile A and de Carlini U (1992). A Logic-Based Approach to Reverse Engineering Tools Production, IEEE Transactions on Software Engineering, 18:12, (1053-1064), Online publication date: 1-Dec-1992.
- Lee Y and Ryder B A comprehensive approach to parallel data flow analysis Proceedings of the 6th international conference on Supercomputing, (236-247)
- Knoop J, Rüthing O and Steffen B (1992). Lazy code motion, ACM SIGPLAN Notices, 27:7, (224-234), Online publication date: 1-Jul-1992.
- Knoop J, Rüthing O and Steffen B Lazy code motion Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, (224-234)
- Lucas J and Sackrowitz M (1992). Efficient parallel algorithms for path problems in directed graphs, Algorithmica, 7:1-6, (631-648), Online publication date: 1-Jun-1992.
- Ammarguellat Z (1992). A Control-Flow Normalization Algorithm and its Complexity, IEEE Transactions on Software Engineering, 18:3, (237-251), Online publication date: 1-Mar-1992.
- Long D and Clarke L Data flow analysis of concurrent systems that use the rendezvous model of synchronization Proceedings of the symposium on Testing, analysis, and verification, (21-35)
- Debnath N A new abstraction for the study of module interconnection Proceedings of the 19th annual conference on Computer Science, (181-189)
- Landi W and Ryder B Pointer-induced aliasing: a problem classification Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (93-103)
- Choi J, Cytron R and Ferrante J Automatic construction of sparse data flow evaluation graphs Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (55-66)
- Lee Y, Marlowe T and Ryder B Performing data flow analysis in parallel Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (942-951)
- Morell L (1990). A Theory of Fault-Based Testing, IEEE Transactions on Software Engineering, 16:8, (844-857), Online publication date: 1-Aug-1990.
- Ryder B, Landi W and Pande H (1990). Profiling an Incremental Data Flow Analysis Algorithm, IEEE Transactions on Software Engineering, 16:2, (129-140), Online publication date: 1-Feb-1990.
- Marlowe T and Ryder B An efficient hybrid algorithm for incremental data flow analysis Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (184-196)
- Deutsch A 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, (157-168)
- Bieman J and Schultz J (1989). Estimating the number of test cases required to satisfy the all-du-paths testing criterion, ACM SIGSOFT Software Engineering Notes, 14:8, (179-186), Online publication date: 1-Dec-1989.
- Bieman J and Schultz J Estimating the number of test cases required to satisfy the all-du-paths testing criterion Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, (179-186)
- Frankl P and Weyuker E (1988). An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering, 14:10, (1483-1498), Online publication date: 1-Oct-1988.
- Li Z and Yew P (1988). Efficient interprocedural analysis for program parallelization and restructuring, ACM SIGPLAN Notices, 23:9, (85-99), Online publication date: 1-Sep-1988.
- Shivers O (1988). Control flow analysis in scheme, ACM SIGPLAN Notices, 23:7, (164-174), Online publication date: 1-Jul-1988.
- Shivers O Control flow analysis in scheme Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation, (164-174)
- Giegerich R (1988). Composition and evaluation of attribute coupled grammars, Acta Informatica, 25:4, (355-423), Online publication date: 1-May-1988.
- Ryder B and Pendergrast J (1988). Experiments in Optimizing FP, IEEE Transactions on Software Engineering, 14:4, (444-454), Online publication date: 1-Apr-1988.
- Carroll M and Ryder B Incremental data flow analysis via dominator and attribute update Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (274-284)
- Nielson F and Nielson R Automatic binding time analysis for a typed λ-calculus Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (98-106)
- Kamkar M, Shahmehri N and Fritzson P Affect-chaining and dependency oriented flow analysis applied to queries of programs Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES, (36-44)
- Stevenson D A canonical form for parallel programs Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1, (536-538)
- Li Z and Yew P Efficient interprocedural analysis for program parallelization and restructuring Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems, (85-99)
- Ryder B and Paull M (1988). Incremental data-flow analysis algorithms, ACM Transactions on Programming Languages and Systems, 10:1, (1-50), Online publication date: 1-Jan-1988.
- May C (1987). Mimic: a fast system/370 simulator, ACM SIGPLAN Notices, 22:7, (1-13), Online publication date: 1-Jul-1987.
- May C Mimic: a fast system/370 simulator Papers of the Symposium on Interpreters and interpretive techniques, (1-13)
- Lukey T, Loose K and Hill D Implementation of a debugging aid for logic errors in Pascal programs Proceedings of the eighteenth SIGCSE technical symposium on Computer science education, (386-390)
- Lukey T, Loose K and Hill D (1987). Implementation of a debugging aid for logic errors in Pascal programs, ACM SIGCSE Bulletin, 19:1, (386-390), Online publication date: 1-Feb-1987.
- Carroll M and Ryder B (1987). An incremental algorithm for software analysis, ACM SIGPLAN Notices, 22:1, (171-179), Online publication date: 1-Jan-1987.
- Carroll M and Ryder B An incremental algorithm for software analysis Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (171-179)
- Marlowe T A least cost partition algorithm Proceedings of 1986 ACM Fall joint computer conference, (637-647)
- Triolet R, Irigoin F and Feautrier P (1986). Direct parallelization of call statements, ACM SIGPLAN Notices, 21:7, (176-185), Online publication date: 1-Jul-1986.
- Johnson H (1986). Data flow analysis for `intractable' system software, ACM SIGPLAN Notices, 21:7, (109-117), Online publication date: 1-Jul-1986.
- Triolet R, Irigoin F and Feautrier P Direct parallelization of call statements Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (176-185)
- Johnson H Data flow analysis for `intractable' system software Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (109-117)
- Bernstein R (1986). Testing for semilattices, ACM SIGACT News, 18:1, (49-50), Online publication date: 1-Mar-1986.
- Jones N and Mycroft A Data flow analysis of applicative programs using minimal function graphs Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (296-306)
- Harel D A linear algorithm for finding dominators in flow graphs and related problems Proceedings of the seventeenth annual ACM symposium on Theory of computing, (185-194)
- Taffs D, Taffs M, Rienzo J and Hampson T (1985). The ALS Ada compiler global optimizer, ACM SIGAda Ada Letters, V:2, (355-366), Online publication date: 1-Sep-1985.
- Gong H and Schmidt M (1985). A complexity measure based on selection and nesting, ACM SIGMETRICS Performance Evaluation Review, 13:1, (14-19), Online publication date: 1-Jun-1985.
- Taffs D, Taffs M, Rienzo J and Hampson T The ALS Ada compiler global optimizer Proceedings of the 1985 annual ACM SIGAda international conference on Ada, (355-366)
- Tan Z and Lemone K A research environment for incremental data flow analysis Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, (356-362)
- Mueller R, Duda M and O'Haire S A survey of resource allocation methods in optimizing microcode compilers Proceedings of the 17th annual workshop on Microprogramming, (285-295)
- Mueller R, Varghese J and Allan V Global methods in the flow graph approach to retargetable microcode generation Proceedings of the 17th annual workshop on Microprogramming, (275-284)
- Marwedel P A retargetable compiler for a high-level microprogramming language Proceedings of the 17th annual workshop on Microprogramming, (267-274)
- Mueller R, Duda M and O'Haire S (1984). A survey of resource allocation methods in optimizing microcode compilers, ACM SIGMICRO Newsletter, 15:4, (285-295), Online publication date: 1-Dec-1984.
- Mueller R, Varghese J and Allan V (1984). Global methods in the flow graph approach to retargetable microcode generation, ACM SIGMICRO Newsletter, 15:4, (275-284), Online publication date: 1-Dec-1984.
- Marwedel P (1984). A retargetable compiler for a high-level microprogramming language, ACM SIGMICRO Newsletter, 15:4, (267-274), Online publication date: 1-Dec-1984.
- Ottenstein K (1984). Intermediate program representations in compiler construction, ACM SIGPLAN Notices, 19:7, (25-27), Online publication date: 1-Jul-1984.
- Zadeck F Incremental data flow analysis in a structured program editor Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (132-143)
- Touzeau R A Fortran compiler for the FPS-164 scientific computer Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (48-57)
- Zadeck F (1984). Incremental data flow analysis in a structured program editor, ACM SIGPLAN Notices, 19:6, (132-143), Online publication date: 1-Jun-1984.
- Touzeau R (1984). A Fortran compiler for the FPS-164 scientific computer, ACM SIGPLAN Notices, 19:6, (48-57), Online publication date: 1-Jun-1984.
- Forman I An algebra for data flow anomaly detection Proceedings of the 7th international conference on Software engineering, (278-286)
- Kobayashi M (1984). Dynamic Characteristics of Loops, IEEE Transactions on Computers, 33:2, (125-132), Online publication date: 1-Feb-1984.
- Mueller R and Varghese J (1983). Flow graph machine models in microcode synthesis, ACM SIGMICRO Newsletter, 14:4, (159-167), Online publication date: 1-Dec-1983.
- Shin H and Malek M (1983). Identification of microprogrammable loops for problem oriented architecture synthesis, ACM SIGMICRO Newsletter, 14:4, (122-127), Online publication date: 1-Dec-1983.
- Isoda S, Kobayashi Y and Ishida T (1983). Global Compaction of Horizontal Microprograms Based on the Generalized Data Dependency Graph, IEEE Transactions on Computers, 32:10, (922-933), Online publication date: 1-Oct-1983.
- Tischler R, Schaufler R and Payne C (1983). Static analysis of programs as an aid to debugging, ACM SIGPLAN Notices, 18:8, (155-158), Online publication date: 1-Aug-1983.
- Tischler R, Schaufler R and Payne C (1983). Static analysis of programs as an aid to debugging, ACM SIGSOFT Software Engineering Notes, 8:4, (155-158), Online publication date: 1-Aug-1983.
- Tischler R, Schaufler R and Payne C Static analysis of programs as an aid to debugging Proceedings of the symposium on High-level debugging, (155-158)
- Ferrante J and Ottenstein K A program form based on data dependency in predicate regions Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (217-236)
- Ryder B Incremental data flow analysis Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (167-176)
- Tischler R, Schaufler R and Payne C Static analysis of programs as an aid to debugging Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (155-158)
- Skibbe R (1982). PACE - a microprogram evaluation system, ACM SIGMICRO Newsletter, 13:4, (181-191), Online publication date: 1-Dec-1982.
- Skibbe R PACE - a microprogram evaluation system Proceedings of the 15th annual workshop on Microprogramming, (181-191)
- Forman I Global data flow analysis by decomposition into primes Proceedings of the 6th international conference on Software engineering, (386-392)
- Rapps S and Weyuker E Data flow analysis techniques for test data selection Proceedings of the 6th international conference on Software engineering, (272-278)
- Weiser M (1982). Programmers use slices when debugging, Communications of the ACM, 25:7, (446-452), Online publication date: 1-Jul-1982.
- Chow A and Rudmik A The design of a data flow analyzer Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (106-113)
- Chow A and Rudmik A (1982). The design of a data flow analyzer, ACM SIGPLAN Notices, 17:6, (106-113), Online publication date: 1-Jun-1982.
- Keohane J, Cherniavsky J and Henderson P (1982). On Transforming Control Structures, SIAM Journal on Computing, 11:2, (268-286), Online publication date: 1-May-1982.
- Jones N and Muchnick S 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, (66-74)
- Rau B and Glaeser C Some scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing Proceedings of the 14th annual workshop on Microprogramming, (183-198)
- Poe M, Goodell R and Steely S Issues of the design of a low level microprogramming language for global microcode compaction Proceedings of the 14th annual workshop on Microprogramming, (88-94)
- Rau B and Glaeser C (1981). Some scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing, ACM SIGMICRO Newsletter, 12:4, (183-198), Online publication date: 1-Dec-1981.
- Poe M, Goodell R and Steely S (1981). Issues of the design of a low level microprogramming language for global microcode compaction, ACM SIGMICRO Newsletter, 12:4, (88-94), Online publication date: 1-Dec-1981.
- Fisher J (1981). Trace Scheduling, IEEE Transactions on Computers, 30:7, (478-490), Online publication date: 1-Jul-1981.
- Henry S, Kafura D and Harris K (1981). On the relationships among three software metrics, ACM SIGMETRICS Performance Evaluation Review, 10:1, (81-88), Online publication date: 1-Apr-1981.
- Weiser M Program slicing Proceedings of the 5th international conference on Software engineering, (439-449)
- Myers E A precise inter-procedural data flow algorithm Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (219-230)
- Henry S, Kafura D and Harris K On the relationships among three software metrics Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, (81-88)
- Poe M (1980). Heuristics for the global optimization of microprograms, ACM SIGMICRO Newsletter, 11:3-4, (13-22), Online publication date: 1-Dec-1980.
- Poe M Heuristics for the global optimization of microprograms Proceedings of the 13th annual workshop on Microprogramming, (13-22)
- Allan S and Oldehoeft A (1980). A Flow Analysis Procedure for the Translation of High-Level Languages to a Data Flow Language, IEEE Transactions on Computers, 29:9, (826-831), Online publication date: 1-Sep-1980.
- Emanuelson P and Haraldsson A On compiling embedded languages in LISP Proceedings of the 1980 ACM conference on LISP and functional programming, (208-215)
- Tarjan R and Valdes J Prime subprogram parsing of a program Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (95-105)
- Culik K (1980). What is a flowchart loop and about structured programming, ACM SIGPLAN Notices, 15:1, (45-57), Online publication date: 1-Jan-1980.
- Schrage J Educator's view of structured concepts Proceedings of the ACM 1980 annual conference, (327-341)
- Shopiro J (1979). Theseus—a programming language for relational databeses, ACM Transactions on Database Systems, 4:4, (493-517), Online publication date: 1-Dec-1979.
- Vanek L and Marty R Hierarchical coroutines a mechanism for improved program structure Proceedings of the 4th international conference on Software engineering, (274-285)
- Ball J Predicting the effects of optimization on a procedure body Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (214-220)
- Ball J (1979). Predicting the effects of optimization on a procedure body, ACM SIGPLAN Notices, 14:8, (214-220), Online publication date: 1-Aug-1979.
- Reif J Data flow analysis of communicating processes Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (257-268)
- Miller T Type checking in an imperfect world Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (237-243)
- Zucconi L (1978). A comment on Chapin's and Denniston's "characteristics of a structured program", ACM SIGPLAN Notices, 13:10, (50-51), Online publication date: 1-Oct-1978.
- Crawford J and Jazayeri M An algorithm for hoisting Proceedings of the 15th annual ACM Southeast Regional Conference, (80-93)
- Jazayeri M Programmer productivity Proceedings of the 15th annual ACM Southeast Regional Conference, (73-79)
Index Terms
- Flow Analysis of Computer Programs
Recommendations
A Prototype Tool for Flow Analysis of Object-Oriented Programs
ISORC '02: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed ComputingObject-oriented programming languages are extensively used in real-time systems. When calculating the worst case execution time for object-oriented programs one needs flow information, such as loop bounds and information on infeasible paths. In most ...
Adding parallelism to visual data flow programs
SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualizationProgramming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared memory APIs, such as OpenMP, have made shared-memory parallelism more ...