200 search results - page 10 / 40 » Modular Reasoning in Object-Oriented Programming |
107
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
102
click to vote
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
116
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
80
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
113
click to vote
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...