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
2014
2014
A new algorithm for low-deterministic security
We present a new algorithm for checking probabilistic noninterference in concurrent programs. The algorithm, named RLSOD, is… 
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… 
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… 
Highly Cited
1996
Highly Cited
1996
Membership-Constraints and Complexity in Logic Programming with Sets
General agreement exists about the usefulness of sets as very high- level representations of complex data structures. Therefore… 
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)