4716 search results - page 592 / 944 » Iterative-free program analysis |
164
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
196
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...
166
click to vote
ECOOP
2005
Springer
16 years 5 days ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
179
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
185
click to vote
FSTTCS
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...