200 search results - page 29 / 40 » Modular Reasoning in Object-Oriented Programming |
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
117
click to vote
POPL
2011
ACM
14 years 1 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
197
click to vote
ICLP
2009
Springer
15 years 11 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
124
click to vote
ICLP
2003
Springer
15 years 4 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
AOSD
2007
ACM
15 years 2 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...