1911 search results - page 79 / 383 » Program analysis for code duplication in logic programs |
131
click to vote
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
219
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
129
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
127
click to vote
JUCS
2007
15 years 1 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
139
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...