317 search results - page 17 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
101
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
88
Voted
SIGSOFT
1994
ACM
15 years 3 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
112
click to vote
ICCAD
2007
IEEE
15 years 3 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...