The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase dataflow analysis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1992 (18) 1993-1995 (23) 1996-1998 (19) 1999-2001 (21) 2002-2004 (24) 2005 (16) 2006-2007 (28) 2008 (21) 2009-2010 (19) 2011-2013 (15) 2014-2017 (15) 2018-2019 (6)
Publication types (Num. hits)
article(52) inproceedings(171) phdthesis(2)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(18) PLDI(12) POPL(12) SAS(10) CC(7) PASTE(4) SCOPES(4) SIGSOFT FSE(4) AOSD(3) ICSE(3) IEEE Trans. Software Eng.(3) ISSTA(3) J. Autom. Reasoning(3) OOPSLA(3) PACT(3) PPOPP(3) More (+10 of total 130)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 295 occurrences of 164 keywords

Results
Found 225 publication records. Showing 225 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
77David W. Goodwin Interprocedural Dataflow Analysis in an Executable Optimizer. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
73Stephen Adams 0001, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
64Guoqing (Harry) Xu, Atanas Rountev AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. Search on Bibsonomy AOSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AspectJ, dataflow analysis, interprocedural analysis
64Kurt M. Olender, Leon J. Osterweil Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Cecil, sequencing constraint language, automatic static analysis generation, general mechanism, dataflow analysis algorithms, compiler code optimization, custom-built, dataflow conditions, dataflow analysis problems, parallel programming, specification languages, program compilers, automatic programming
63Robert Seater, David Wonnacott Polynomial Time Array Dataflow Analysis. Search on Bibsonomy LCPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar Joining dataflow with predicates. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF counterexample analysis, model checking, dataflow analysis, predicate abstraction
58Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner Dataflow analysis for concurrent programs using datarace detection. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF locksets, interprocedural analysis, multithreaded programs, summaries
54Vineet Kahlon Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model Checking, Concurrent Programs, Dataflow Analysis, Parameterized Systems, Pushdown Systems
48Ranjit Jhala, Rupak Majumdar Interprocedural analysis of asynchronous programs. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF asynchronous (event-driven) programming, dataflow analysis
47Hari Hampapuram, Yue Yang, Manuvir Das Symbolic path simulation in path-sensitive dataflow analysis. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF path feasibility, dataflow analysis, symbolic simulation
47Jonas Skeppstedt, Per Stenström Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF performance evaluation, cache coherence, dataflow analysis
46Sherry X. Sun, J. Leon Zhao Developing a Workflow Design Framework Based on Dataflow Analysis. Search on Bibsonomy HICSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Atanas Rountev, Mariana Sharp, Guoqing (Harry) Xu IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Shing-Chi Cheung, Jeff Kramer Tractable Dataflow Analysis for Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF action dependency, history sets, pump control system, arbitrary loops, nondeterministic structures, synchronous communicating systems, distributed systems, software engineering, static analysis, distributed processing, program verification, reachability analysis, labeled transition systems, dataflow analysis, software development tools, distributed software engineering, worst-case complexity
39Dinakar Dhurjati, Manuvir Das, Yue Yang Path-Sensitive Dataflow Analysis with Iterative Refinement. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Paul Feautrier Array Dataflow Analysis. Search on Bibsonomy Compiler Optimizations for Scalable Parallel Systems Languages The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Jean-Francois Collard, Denis Barthou, Paul Feautrier Fuzzy Array Dataflow Analysis. Search on Bibsonomy PPOPP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
38Thomas Ball, Sriram K. Rajamani Bebop: a path-sensitive interprocedural dataflow engine. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Thomas W. Reps, Susan Horwitz, Shmuel Sagiv Precise Interprocedural Dataflow Analysis via Graph Reachability. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF C
34Atanas Rountev, Scott Kagan, Thomas J. Marlowe Interprocedural Dataflow Analysis in the Presence of Large Libraries. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Shmuel Katz Aspect Categories and Classes of Temporal Properties. Search on Bibsonomy T. Aspect-Oriented Software Development The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Aspect specification, invasive, aspect categories, aspect verification, regulative, dataflow analysis, spectative
33Atanas Rountev Component-Level Dataflow Analysis. Search on Bibsonomy CBSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32G. Ramalingam Data Flow Frequency Analysis. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
32Saumya K. Debray On the Complexity of Dataflow Analysis of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF complexity, Prolog, program analysis
32Saumya K. Debray On the Complexity of Dataflow Analysis of Logic Programs. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit Modelling run-time arbitration by latency-rate servers in dataflow graphs. Search on Bibsonomy SCOPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Adrian Johnstone, Elizabeth Scott Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Jean-Francois Collard, Martin Griebl Array Dataflow Analysis for Explicitly Parallel Programs. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
31Denis Barthou, Jean-Francois Collard, Paul Feautrier Applicaions of Fuzzy Array Dataflow Analysis. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Azadeh Farzan, P. Madhusudan Causal Dataflow Analysis for Concurrent Programs. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Andreas Hansson, Maarten Wiggers, Arno Moonen, Kees Goossens, Marco Bekooij Applying Dataflow Analysis to Dimension Buffers for Guaranteed Performance in Networks on Chip. Search on Bibsonomy NOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cyclo-Static Dataflow, System on Chip, Network on Chip, Real-Time Performance
30Shmuel Sagiv, Thomas W. Reps, Susan Horwitz Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Chao Wang 0003, Xi Li 0003, Huizhen Zhang, Aili Wang, Xuehai Zhou Hot spots profiling and dataflow analysis in custom dataflow computing SoftProcessors. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof Summarizing procedures in concurrent programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
25Robert E. Strom, Daniel M. Yellin Extending Typestate Checking Using Conditional Liveness Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors
25Michelle L. Goodstein, Evangelos Vlachos, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring. Search on Bibsonomy ASPLOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic program monitoring, parallel programming, static analysis, data flow analysis
25Vineet Kahlon, Aarti Gupta On the analysis of interacting pushdown systems. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
25John Regehr, Alastair Reid, Kirk Webb Eliminating stack overflow by abstract interpretation. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF call stack, interrupt-driven, sensor network, abstract interpretation, Microcontroller, context sensitive, dataflow analysis
24Andreas Gal, Christian W. Probst, Michael Franz Java bytecode verification via static single assignment form. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java bytecode verification, dataflow analysis, static single assignment form
24Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
24Xavier Leroy Java Bytecode Verification: Algorithms and Formalizations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
24Gerwin Klein, Martin Wildmoser Verified Bytecode Subroutines. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, theorem proving, subroutines, dataflow analysis, Isabelle, bytecode verification
24Evan Tick Monaco: A High-Performance Flat Concurrent Logic Programming System. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF compilation, dataflow analysis, concurrent logic programming
24Ayon Basumallik, Rudolf Eigenmann Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis. Search on Bibsonomy IWOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Anne Mulkers, William H. Winsborough, Maurice Bruynooghe Live-Structure Dataflow Analysis for Prolog. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
23Guangyu Chen, Mahmut T. Kandemir Dataflow analysis for energy-efficient scratch-pad memory management. Search on Bibsonomy ISLPED The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scratch pad memory (SPM), compiler, data flow analysis
22Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Jiho Chu, Youngsun Han, Seon Wook Kim A Dataflow Analysis for Mode Set Optimization in DSP Instruction Sets. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Thomas W. Reps, Stefan Schwoon, Somesh Jha Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Richard Banach Dataflow Analysis if Term Graph Rewriting Systems. Search on Bibsonomy PARLE (2) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Thomas P. Jensen, Fausto Spoto Class Analysis of Object-Oriented Programs through Abstract Interpretation. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
18Rachid Helaihel, Kunle Olukotun Java as a specification language for hardware-software systems. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF java, Java, specification languages, hardware-software co-design
17Rajeev Alur, Swarat Chaudhuri, P. Madhusudan A fixpoint calculus for local and global program flows. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
17Michael F. Ringenburg, Dan Grossman Preventing format-string attacks via automatic and efficient dynamic checking. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic checking, format-string attacks, white-lists, static analysis
17David A. Basin, Stefan Friedrich, Marek Gawkowski Bytecode Verification by Model Checking. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, static analysis, type safety, bytecode verification
17D. V. Ravindra Using Locality of Flow in Dataflow Analyses. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý Parallelizing of Seqential Programs on the Basis of Pipeline and Speculative Features of the Operators. Search on Bibsonomy PaCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Armand Navabi, Xiangyu Zhang 0001, Suresh Jagannathan Quasi-static scheduling for safe futures. Search on Bibsonomy PPOPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency control, future, static program analysis
16Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit Path Optimization in Programs and Its Application to Debugging. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani Effectiveness of cross-platform optimizations for a java just-in-time compiler. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, optimization, just-in-time compiler
16J. Gregory Morrisett Analysis issues for cyclone. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý Parallelizing of Sequential Annotated Programs in PVM Environment. Search on Bibsonomy PVM/MPI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Michelle L. Goodstein, Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry Chrysalis analysis: incorporating synchronization arcs in dataflow-analysis-based parallel monitoring. Search on Bibsonomy PACT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Cindy Rubio-González, Ben Liblit Expect the unexpected: error code mismatches between documentation and the real world. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis
16Nomair A. Naeem, Ondrej Lhoták Efficient alias set analysis using SSA form. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
16Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau Error propagation analysis for file systems. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis
16Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit Automatic generation of library bindings using static analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
16Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya The dataflow pointcut: a formal and practical framework. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF aspect-oriented programming, type theory, dataflow analysis
16Sébastien Labbé, Jean-Pierre Gallois Slicing communicating automata specifications: polynomial algorithms for model reduction. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
16Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
16Thomas D. LaToza Answering control flow questions about code. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF empirical study, program comprehension, dataflow analysis
16Subhajit Roy, Y. N. Srikant Improving flow-insensitive solutions for non-separable dataflow problems. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, compiler optimizations, dataflow analysis
16Greta Yorsh, Eran Yahav, Satish Chandra 0001 Generating precise and concise procedure summaries. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
16Bruno Dufour, Barbara G. Ryder, Gary Sevitsky A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF framework-intensive applications, Java, performance, program understanding, dataflow analysis, escape analysis
16Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof Termination analysis of logic programs through combination of type-based norms. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
16Carsten Gremzow Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
16Subhajit Roy, Y. N. Srikant Partial Flow Sensitivity. Search on Bibsonomy HiPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compilers, compiler optimizations, dataflow analysis, points-to analysis
16Bruno Dufour, Barbara G. Ryder, Gary Sevitsky Blended analysis for performance understanding of framework-based applications. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF framework-intensive applications, program understandingperfor-mance, java, dataflow analysis, escape analysis
16Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich Flow analysis for verifying properties of concurrent software systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, Dataflow analysis, finite-state verification
16Manuvir Das, Sorin Lerner, Mark Seigle ESP: Path-Sensitive Program Verification in Polynomial Time. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF error detection, dataflow analysis, path-sensitive analysis
16Fabien Quilleré, Sanjay V. Rajopadhye Optimizing memory usage in the polyhedral model. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF applicative (functional) languages, lifetime analysis, parallel code generation, scheduling, memory management, dependence analysis, automatic parallelization, dataflow analysis, polyhedral model, data-parallel languages, affine recurrence equations
16Zhenyu Qian Standard fixpoint iteration for Java bytecode verification. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, dataflow analysis, bytecode verification, fixpoint
16Michael Codish, Harald Søndergaard, Peter J. Stuckey Sharing and groundness dependencies in logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Boolean functions, program analysis, abstract interpretation, dataflow analysis, global analysis, groundness analysis, sharing analysis
16William Pugh, David Wonnacott Constraint-Based Array Dependence Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF array dataflow analysis, dependence abstraction, parallelization, static analysis, dependence analysis, Presburger Arithmetic
16Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm Solving Shape-Analysis Problems in Languages with Destructive Updating. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis
16Susan Horwitz Precise Flow-Insensitive May-Alias Analysis is NP-Hard. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF static analysis, pointer analysis, dataflow analysis, alias analysis
16Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks Incremental Analysis of Side Effects for C Software System. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF C, dataflow analysis, incremental analysis
16Mary Jean Harrold, Mary Lou Soffa Efficient Computation of Interprocedural Definition-Use Chains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
16Kim Marriott, Harald Søndergaard, Neil D. Jones Denotational Abstract Interpretation of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
16Rajiv Gupta 0001 Optimizing Array Bound Checks Using Flow Analysis. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF available checks, check hoisting, very busy checks, dataflow analysis
16Makoto Amamiya, Rin-ichiro Taniguchi An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. Search on Bibsonomy Concurrency: Theory, Language, And Architecture The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Keyword Functional language, Massively parallel machine architecture, Dataflow analysis, Multiprocessing, Dataflow machine
16Akash Lal, Thomas W. Reps, Gogul Balakrishnan Extended Weighted Pushdown Systems. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck The open verifier framework for foundational verifiers. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF language-based security, proof-carrying code, typed assembly language
16Vugranam C. Sreedhar, Guang R. Gao A Linear Time Algorithm for Placing phi-nodes. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
16Victor N. Kasyanov Annotated Program Transformations. Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
14Ming-Ho Yee, Ayaz Badouraly, Ondrej Lhoták, Frank Tip, Jan Vitek Precise Dataflow Analysis of Event-Driven Applications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
14Patrick Cousot Syntactic and Semantic Soundness of Structural Dataflow Analysis. Search on Bibsonomy SAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
14Vítor Silva Sousa, Daniel de Oliveira 0001, Marta Mattoso, Patrick Valduriez DfAnalyzer: Runtime Dataflow Analysis of Scientific Applications using Provenance. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
14George Charitopoulos, Dionisios N. Pnevmatikatos DARSA: a dataflow analysis tool for reconfigurable platforms. Search on Bibsonomy SAMOS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
14Woei-Kae Chen, Chien-Hung Liu, Bo-Hong Li A Feature Envy Detection Method Based on Dataflow Analysis. Search on Bibsonomy COMPSAC (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 225 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license