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… 
2008
2008
Exploiting Application-Level Correctness for Low-Cost Fault Tolerance
Traditionally, fault tolerance researchers have required architectural state to be numerically perfect for program execution to… 
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… 
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… 
1999
1999
Efficient Goal Directed Bottom-up Evaluation of Logic Programs
1997
1997
Slicing Concurrent Logic Programs
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we… 
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… 
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)