1911 search results - page 214 / 383 » Program analysis for code duplication in logic programs |
170
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
171
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
202
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
120
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
136
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...