Skip to search formSkip to main contentSkip to account menu

Program analysis

Known as: Computer program analysis, Program analysis (computer science), Program analyzer 
In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as… 
Wikipedia (opens in a new tab)

Related topics

Related topics

30 relations
Abstract syntax treeAutomated code reviewAutomatic bug fixingCPAchecker

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A Wait-Free Hash Map
In this work we present the first design and implementation of a wait-free hash map. Our multiprocessor data structure allows a… 
2015
2015
Effective abstractions for verification under relaxed memory models
2007
2007
SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code
A high-level concurrent model such as a SystemC transaction-level model can provide early feedback during the exploration of… 
Highly Cited
2006
Highly Cited
2006
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems… 
2005
2005
Jahuel: A Formal Framework for Software Synthesis
We present a theoretically sound and automated model-based design, analysis, and implementation framework for synthesizing… 
Highly Cited
2002
Highly Cited
2002
Evaluating context-sensitive slicing and chopping
  • J. Krinke
  • International Conference on Software Maintenance…
  • 2002
  • Corpus ID: 8718362
We present an empirical evaluation of three context-sensitive slicing algorithms and five context-sensitive chopping algorithms… 
1999
1999
Dependence Analysis for Java
We describe a novel approach to performing data dependence analysis for Java in the presence of Java's "non-traditional" language… 
1999
1999
Compiler Techniques for the Superthreaded Architectures1, 2
Several useful compiler and program transformation techniques for the superthreaded architectures are presented in this paper… 
1995
1995
Categorical Fixed Point Calculus
A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of… 
1985
1985
WHEAT ACREAGE RESPONSE: A REGIONAL ECONOMETRIC INVESTIGATION
An econometric model of planted wheat acreage was estimated for five distinct production regions in the United States. This… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)