1550 search results - page 168 / 310 » Erlang for Concurrent Programming |
134
click to vote
AGP
1996
IEEE
15 years 6 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
107
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
124
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
216
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
110
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...