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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

We present a minimal system for expressing interface requirements as contracts. They provide basic mitigation measures for early…

2011

Abstract : In dataflow-based application models, the underlying graph representations often consist of smaller sub-structures…

2011

This paper presents Corral, a whole-program analyzer for Boogie programs. Corral looks for a feasible execution of the program…

2011

Javascript is a scripting language that is commonly used to create sophisticated interactive client-side web applications. It can…

2008

This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a…

2008

This is the year 2008 and ML-style exceptions are everywhere. Most modern languages, whether academic or industrial, feature some…

2007

Software maintenance tools for program-analysis and refactoring rely on a meta-model capturing the relevant properties of…

1998

This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a…

1996

1992