The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1968-1979 (17) 1981-1988 (20) 1989-1992 (25) 1993 (15) 1994 (28) 1995 (20) 1996 (41) 1997 (34) 1998 (51) 1999 (53) 2000 (57) 2001 (78) 2002 (86) 2003 (70) 2004 (100) 2005 (120) 2006 (140) 2007 (146) 2008 (128) 2009 (97) 2010 (72) 2011 (36) 2012 (40) 2013 (47) 2014 (34) 2015 (51) 2016 (34) 2017 (41) 2018 (37) 2019 (28)
Publication types (Num. hits)
article(302) book(3) incollection(7) inproceedings(1382) phdthesis(30) proceedings(22)
Venues (Conferences, Journals, ...)
PASTE(148) PLDI(55) ACM Trans. Program. Lang. Syst...(54) SOAP@PLDI(54) ICSE(40) POPL(40) SAS(39) IEEE Trans. Software Eng.(30) ISSTA(27) CC(21) CoRR(21) OOPSLA(21) ASE(20) PEPM(19) ESOP(18) OOPSLA Companion(18) More (+10 of total 489)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2382 occurrences of 936 keywords

Results
Found 1746 publication records. Showing 1746 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
106Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Joseph R. Ruthruff Experimental program analysis: a new paradigm for program analysis. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF experimental program analysis, program analysis, experimentation
58Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
54Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel Experimental program analysis: a new program analysis paradigm. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF experimental program analysis, program analysis, experimentation
47Robert Paige Transformational Programming - Applications to Algorithms and Systems. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
44David C. Shepherd, Lori L. Pollock, K. Vijay-Shanker Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, natural language, aspect mining
44David Notkin Longitudinal program analysis. Search on Bibsonomy PASTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35G. A. Venkatesh, Charles N. Fischer SPARE: A Development Environment For Program Analysis Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs
35Chris Hankin Program Analysis Tools. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Types and effects, Program analysis generator, Program analysis, Abstract interpretation, Data flow analysis
34Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland Representation-independent program analysis. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Mary Lou Soffa Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Uwe Aßmann How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF optimization, specification, program transformation, Program analysis, graph rewrite systems
30Lori L. Pollock, K. Vijay-Shanker, David C. Shepherd, Emily Hill, Zachary P. Fry, Kishen Maloor Introducing natural language program analysis. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF software tools, program analysis, natural language, aspect mining
30Yamine Aït Ameur A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF nonfunctional property evaluation, numerical type, numerical computational accuracy, reverse engineering, reverse engineering, software maintenance, program transformations, program analysis, software reuse, program comprehension, functional language, data representations, program design, numerical programs
30Florian Martin 0001, Hanne Riis Nielson, Claudio Riva, Markus Schordan 08161 Abstracts Collection - Scalable Program Analysis. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
30Daniel J. Quinlan, Gergö Barany, Thomas Panas Towards Distributed Memory Parallel Program Analysis. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
30Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm 06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
30Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm 06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
30Thomas Ball, Stephan Diehl 0001, David Notkin, Andreas Zeller 05261 Summary - Multi-Version Program Analysis. Search on Bibsonomy Multi-Version Program Analysis The full citation details ... 2005 DBLP  BibTeX  RDF
30Thomas Ball, Stephan Diehl 0001, David Notkin, Andreas Zeller 05261 Abstracts Collection - Multi-Version Program Analysis. Search on Bibsonomy Multi-Version Program Analysis The full citation details ... 2005 DBLP  BibTeX  RDF
29Patrice Godefroid Compositional dynamic test generation. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compositional program analysis, scalability, software testing, program verification, automatic test generation
28William C. Benton, Charles N. Fischer Interactive, scalable, declarative program analysis: from prototype to implementation. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tabled prolog, java, logic programming, prototyping, program analysis, bytecodes
28William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Program analysis via satisfiability modulo path programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
27Nevin Heintze, Joxan Jaffar, Razvan Voicu A Framework for Combining Analysis and Verification. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, program verification
27María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean equation system, demand-driven evaluation, program analysis, Datalog
27James Hayes, William G. Griswold, Stuart Moskovics Component design of retargetable program analysis tools that reuse intermediate representations. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software tools, reuse, program analysis, software design, retargetability
26Ciera Jaspan, I-Chin Chen, Anoop Sharma Understanding the value of program analysis tools. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF value-based software, program analysis, economics
26Michael Hind, Anthony Pioli Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System. Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Program Analysis, Pointer Analysis, Multiple Inheritance
26Julio C. Peralta, John P. Gallagher, Hüseyin Saglam Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
26Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 An Appreciation of the Work of Reinhard Wilhelm. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv Abstract Counterexample-Based Refinement for Powerset Domains. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26J. Nations, Stanley Y. W. Su Some DML Instruction Sequences for Application Program Analysis and Conversion. Search on Bibsonomy SIGMOD Conference The full citation details ... 1978 DBLP  DOI  BibTeX  RDF application program conversion, database conversion, program analysis and synthesis, database management, data manipulation language, schema change
26Cheng Wang, Zhiyuan Li Parametric analysis for adaptive computation offloading. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program profiling, distributed system, program transformation, program analysis, handheld devices, program partitioning, adaptive optimization, computation offloading
25Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins An overview of the saturn project. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, program analysis, boolean satisfiability
25Michel Ferreira, Luís Damas Multiple Specialization of WAM Code. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Prolog Compilation, Code Specialization, Program Analysis
25G. A. Venkatesh Experimental Results from Dynamic Slicing of C Program. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF program analysis, program slice
25Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda The Modulo Interval: A Simple and Practical Representation for Program Analysis. Search on Bibsonomy IEEE PACT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF modulo, program analysis, dependence analysis, arithmetic, interval
25Wanghong Yuan, X. Chen, Tao Xie 0001, Hong Mei, Fuqing Yang C++ Program Information Database for Analysis Tools. Search on Bibsonomy TOOLS (27) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program information database, object orientation, C++, program analysis, incremental parsing
24Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel Context-sensitive program analysis as database queries. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Takashi Ishio, Shinji Kusumoto, Katsuro Inoue Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique. Search on Bibsonomy IWPSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis Static Program Analysis for Java Card Applets. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF temporal safety, Java Card, static program analysis
23Michael Codish, Bart Demoen, Konstantinos Sagonas Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-based program analysis, Logic programming language analysis, XSB
23Amitabh Srivastava, Alan Eustace ATOM - A System for Building Customized Program Analysis Tools. Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Amitabh Srivastava, Alan Eustace ATOM: a system for building customized program analysis tools (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22David C. Shepherd, Zachary P. Fry, Emily Hill, Lori L. Pollock, K. Vijay-Shanker Using natural language program analysis to locate and understand action-oriented concerns. Search on Bibsonomy AOSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reverse engineering, program analysis, feature location, remodularization
22Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien Behavioral similarity matching using concrete source code templates in logic queries. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation
22Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum Adaptive Online Program Analysis. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Glenn Bruns, Satish Chandra 0001 Searching for Points-To Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, program analysis, reachability analysis, Points-to analysis
22Cindy 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
22Atanas Rountev, Barbara G. Ryder, William Landi Data-Flow Analysis of Program Fragments. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Florian Martin 0001, Hanne Riis Nielson, Claudio Riva, Markus Schordan (eds.) Scalable Program Analysis, 13.04. - 18.04.2008 Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Lars Gesellensetter Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Johann Blieberger Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Gergö Barany Value Flow Graph Analysis with SATIrE. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Markus Schordan Source-To-Source Analysis with SATIrE - an Example Revisited. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Cristina Cifuentes, Bernhard Scholz Parfait - Designing a Scalable Bug Checker. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Dave W. Binkley Dependence Cluster Causes. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Jens Knoop Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis. Search on Bibsonomy Scalable Program Analysis The full citation details ... 2008 DBLP  BibTeX  RDF
21Thomas W. Reps, Mooly Sagiv, Jörg Bauer 0001 (eds.) Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Thomas Ball, Stephan Diehl 0001, David Notkin, Andreas Zeller (eds.) Multi-Version Program Analysis, 26. June - 1. July 2005 Search on Bibsonomy Multi-Version Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
21Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.) Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
21Jérôme Leroux, Grégoire Sutre Flat counter automata almost everywhere!. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
21Jörg Bauer 0001, Reinhard Wilhelm Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
21Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek Reachability analysis of multithreaded software with asynchronous communication. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
21Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz Lazy Shape Analysis. Search on Bibsonomy Software Verification: Infinite-State Model Checking and Static Program Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
21Helmut Seidl, Kumar Neeraj Verma Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Werner Damm, Tobe Toben, Bernd Westphal On the Expressive Power of Live Sequence Charts. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Flemming Nielson, Hanne Riis Nielson Types from Control Flow Analysis. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Hanne Riis Nielson, Flemming Nielson Data Flow Analysis for CCS. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Abstract Interpretation for Worst and Average Case Analysis. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Dieter Maurer Lazy Execution of Boolean Queries. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Alexey Loginov, Thomas W. Reps, Mooly Sagiv Refinement-Based Verification for Possibly-Cyclic Lists. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002 Infering Ownership Types for Encapsulated Object-Oriented Program Components. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Patrick Cousot, Radhia Cousot Grammar Analysis and Parsing by Abstract Interpretation. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis Ensuring Properties of Interaction Systems. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Tiziana Margaria, Oliver Rüthing, Bernhard Steffen ViDoC - Visual Design of Optimizing Compilers. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Yosi Ben-Asher, Danny Meisler Towards a Source Level Compiler: Source Level Modulo Scheduling. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Christian Ferdinand, Florian Martin 0001, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann New Developments in WCET Analysis. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Steffen Knapp, Wolfgang J. Paul Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Takahiro Nagai, Takeshi Imanaka, Jun'ichi Toyoda, Tsukasa Hirashima, Kuniaki Uehara, Yuichi Nagasawa A method for generating program specification from source program - analysis by transforming program structure and argument manipulation. Search on Bibsonomy Systems and Computers in Japan The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
21Christian Mossin Higher-Order Value Flow Graphs. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
21Marco Pistoia, Úlfar Erlingsson Programming languages and program analysis for security: a three-year retrospective. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, program analysis, programming languages, language-based security
21Dennis Strein, Rüdiger Lincke, Jonas Lundberg, Welf Löwe An Extensible Metamodel for Program Analysis (abstract only). Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program analysis, Programming environments, metamodels
21Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood Pin: building customized program analysis tools with dynamic instrumentation. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis tools, instrumentation, dynamic compilation
21Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano Iterative-free program analysis. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SP term, dynamic programming, program analysis, register allocation, control flow graph, tree width, catamorphism
21Li-Ling Chen, Williams Ludwell Harrison III An efficient approach to computing fixpoints for complex program analysis. Search on Bibsonomy International Conference on Supercomputing The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint computation, program analysis, abstract interpretation, optimizing compilers
21Hanne Riis Nielson, Torben Amtoft, Flemming Nielson Behaviour Analysis and Safety Conditions: A Case Study in CML. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal program development, Embedded systems, program analysis
21Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski IPS-2: The Second Generation of a Parallel Program Measurement System. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA
20Diptikalyan Saha, C. R. Ramakrishnan Incremental and demand-driven points-to analysis using logic programming. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF demand-drive analysis, logic programming, pointer analysis, incremental analysis
20David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider Certified Memory Usage Analysis. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF certified memory analysis, Program analysis, theorem proving, constraint solving
20Dries Buytaert, Jonas Maebe, Lieven Eeckhout, Koen De Bosschere Building Java program analysis tools using Javana. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF aspect-oriented instrumentation, customized program analysis tool, Java
20Jonas Maebe, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere Javana: a system for building customized Java program analysis tools. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF aspect-oriented instrumentation, customized program analysis tool, Java
20Yoshio Kataoka, Masayuki Hirayama, Jiro Okayasu, Tetsuji Fukaya An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Data-Oriented Program Analysis, Data Relation, Test, Reverse Engineering, Quality Assurance
20Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah TRICK: tracking and reusing compiler's knowledge. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF optimization, compiler, reuse, program analysis, tools
20Kleanthis Psarris, Konstantinos Kyriakopoulos An Experimental Evaluation of Data Dependence Analysis Techniques. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
20Kleanthis Psarris, Konstantinos Kyriakopoulos The impact of data dependence analysis on compilation and program parallelization. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization
20David M. Ogle, Karsten Schwan, Richard T. Snodgrass Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines
20Anna Zaks, Amir Pnueli Program analysis for compiler validation. Search on Bibsonomy PASTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1746 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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