1129 search results - page 100 / 226 » Modular Ranking Abstraction |
175
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
292
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
152
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
168
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
257
click to vote
VLDB
2001
ACM
16 years 6 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...