1911 search results - page 85 / 383 » Program analysis for code duplication in logic programs |
118
click to vote
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
115
click to vote
EUROGP
2009
Springer
15 years 8 months ago
2009
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...
118
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
180
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...