MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Precise slicing of concurrent programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Kaveri: Delivering Indus Java Program Slicer to Eclipse?
by unknown authors
… the precision of slices of concurrent programs. Highly Customizable Using Indus libraries, the user can assemble…
Add To MetaCart

Slicing Promela and its Applications to Model Checking, Simulation,
by And Protocol Understanding, Lynette I. Millett, Tim Teitelbaum — 1998 — In Proceedings of the 4th International SPIN Workshop
… "interference dependence" in order to more precisely slice concurrent programs. Krinke’s algorithm…
Add To MetaCart

Slicing Promela and its Applications to Model Checking, Simulation, and Protocol Understanding
by Lynette I. Millett, Tim Teitelbaum — 1998 — In Proceedings of the 4th International SPIN Workshop
… "interference dependence" in order to more precisely slice concurrent programs. Krinke's algorithm…
Cited by 11 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB