124 search results - page 4 / 25 » McErlang: a model checker for a distributed functional progr... |
POPL
2003
ACM
14 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
HICSS
2000
IEEE
13 years 12 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
AC
2000
Springer
13 years 11 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
PLDI
2004
ACM
14 years 26 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...