1911 search results - page 82 / 383 » Program analysis for code duplication in logic programs |
120
click to vote
CSREAEEE
2008
15 years 3 months ago
2008
- This paper proposes the use of an interactive web based problem solving application that utilises flowchart based programming and code generation to address the issues faced by n...
112
click to vote
CC
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
107
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
127
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
120
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....