61 search results - page 1 / 13 » Partial Order Reduction for Rewriting Semantics of Programmi... |
ENTCS
2007
13 years 5 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
LICS
2009
IEEE
13 years 12 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
PDCAT
2009
Springer
13 years 11 months ago
2009
Springer
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
ENTCS
2008
13 years 5 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...