113 search results - page 23 / 23 » Semantic Reduction of Thread Interleavings in Concurrent Pro... |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...