1911 search results - page 329 / 383 » Program analysis for code duplication in logic programs |
MSR
2006
ACM
15 years 7 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
110
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
135
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
119
click to vote
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
110
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...