Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,419,032 papers from all fields of science
Search
Sign In
Create Free Account
Program analysis
Known as:
Computer program analysis
, Program analysis (computer science)
, Program analyzer
Expand
In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Abstract syntax tree
Automated code review
Automatic bug fixing
CPAchecker
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Representation and scheduling of scalable dataflow graph topologies
Shenpei Wu
2011
Corpus ID: 56115168
Abstract : In dataflow-based application models, the underlying graph representations often consist of smaller sub-structures…
Expand
2011
2011
Automatic Simplification of Obfuscated JavaScript Code ⋆
Gen Lu
,
Kevin Coogan
,
S. Debray
2011
Corpus ID: 53446538
Javascript is a scripting language that is commonly used to create sophisticated interactive client-side web applications. It can…
Expand
2008
2008
Towards a rigorous framework for dealing with domain specific language families
Ali Abou Dib
,
L. Féraud
,
Ileana Ober
,
Christian Percebois Irit
3rd International Conference on Information and…
2008
Corpus ID: 11845373
In this paper we present our approach to rigorously handle variation within a family of languages. Our starting point is a case…
Expand
2007
2007
3S: Program Instrumentation and Characterisation Framework
Simon A. Spacey
2007
Corpus ID: 11295221
3S is an efficient program instrumentation and profiling framework. 3S is only 288 lines of framework code, yet it can produce…
Expand
2004
2004
Tarantula{:} Killing Driver Bugs Before They Hatch
J. Lawall
,
Gilles Muller
,
R. Urunuela
2004
Corpus ID: 17062225
The Linux operating system is undergoing continual evolution. Evolution in the kernel and generic driver modules often triggers…
Expand
2004
2004
Semantic driven program analysis
Andrian Marcus
20th IEEE International Conference on Software…
2004
Corpus ID: 18420898
The paper presents an approach to extract and to analyze the semantic content (i.e., problem and solution domain semantics) of…
Expand
Review
1998
Review
1998
Eecient Computation via Incremental Computation
Yan-Hong A. Liu
1998
Corpus ID: 7794409
Incremental computation takes advantage of repeated computations on inputs that di er slightly from one another, computing each…
Expand
1996
1996
How to Add a New Phase in PIPS: the Case of Dead Code Elimination
Corinne Ancourt
,
Fabien Coelho
,
R. Keryell
1996
Corpus ID: 59885097
1994
1994
Locality Abstractions for Parallel and Distributed Computing
S. Jagannathan
Theory and Practice of Parallel Programming
1994
Corpus ID: 945542
Temporal and spatial locality are significant concerns in the design and implementation of any realistic parallel or distributed…
Expand
1992
1992
Type Inference in the Icon Programming Language
Kenneth Walker
,
R. Griswold
1992
Corpus ID: 15187154