207 search results - page 23 / 42 » Aspect-oriented programming and modular reasoning |
133
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
112
click to vote
ICLP
1991
Springer
15 years 6 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
CCS
2005
ACM
15 years 8 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
143
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
127
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...