Search Sciweavers | Sciweavers

1499 search results - page 2 / 300

» Chopping Concurrent Programs

Voted

IPL
2006

120views more IPL 2006»

Propositional dynamic logic of context-free programs and fixpoint logic with chop

15 years 10 days ago

Download www2.tcs.ifi.lmu.de

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

claim paper

Read More »

Voted

KBSE
2005
IEEE

139views Software Engineering» more KBSE 2005»

Locating faulty code using failure-inducing chops

15 years 6 months ago

Download www.cs.purdue.edu

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...

claim paper

Read More »

104

click to vote

CONCURRENCY
2000

142views more CONCURRENCY 2000»

Concurrent programming in VISO

15 years 6 days ago

Download faculty.kfupm.edu.sa

Muhammed Al-Mulhem

claim paper