1975 search results - page 84 / 395 » Property analysis and design understanding |
155
click to vote
IAT
2007
IEEE
16 years 11 days ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
129
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
175
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
167
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
171
click to vote
QSIC
2006
IEEE
16 years 1 days ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...