Sciweavers

1499 search results - page 2 / 300
» Chopping Concurrent Programs
Sort
View
IPL
2006
120views more  IPL 2006»
13 years 6 months ago
Propositional dynamic logic of context-free programs and fixpoint logic with chop
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
Martin Lange, Rafal Somla
KBSE
2005
IEEE
13 years 11 months ago
Locating faulty code using failure-inducing chops
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gup...
CONCURRENCY
2000
142views more  CONCURRENCY 2000»
13 years 6 months ago
Concurrent programming in VISO
Muhammed Al-Mulhem