Searching for "Context-sensitive synchronization-sensitive analysis is undecidable." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Context-Sensitive Synchronization-Sensitive Analysis is Undecidable
by G. Ramalingam — 1999 — ACM Transactions on Programming Languages and Systems
… of interprocedural analysis of concurrent programs. Specifically, we show that context-sensitive and synchronization-sensitive…
Cited by 48 (0 self) – Add To MetaCart

Showing 1 through 1.

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