207 search results - page 22 / 42 » Aspect-oriented programming and modular reasoning |
117
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
114
click to vote
TOPLAS
2002
15 years 2 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
169
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
111
click to vote
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...
ENTCS
2010
15 years 2 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...