200 search results - page 8 / 40 » Modular Reasoning in Object-Oriented Programming |
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
AOSD
2008
ACM
13 years 11 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
RSP
2003
IEEE
14 years 3 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
FAC
2007
13 years 9 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...