523 search results - page 52 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
122
Voted
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
115
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
121
Voted
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
209
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
177
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...