96 search results - page 13 / 20 » Algorithmic Verification of Single-Pass List Processing Prog... |
101
click to vote
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...
170
click to vote
POPL
2001
ACM
15 years 10 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
SOUPS
2006
ACM
15 years 3 months ago
2006
ACM
Unicode is becoming a dominant character representation format for information processing. This presents a very dangerous usability and security problem for many applications. The...
102
click to vote
PLDI
2012
ACM
13 years 1 days ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
IJFCS
2006
14 years 9 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...