MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Language Strength Reduction." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

T.: Language strength reduction
by Nicholas Kidd, Akash Lal, Thomas Reps — 2008
…Language Strength Reduction ⋆ Nicholas Kidd 1 , Akash Lal 1⋆⋆ , and Thomas Reps 1,2 1 University…
Cited by 1 (1 self) – Add To MetaCart

Publications Refereed Conference Publications
by Nicholas Andrew Kidd, Advised Professor, Thomas W. Reps, N. Kidd, T. Reps, J. Dolby, M. Vaziri, Finding Concurrency-related Bugs
… Presentations Conference Talks Language Strength Reduction. Static Analysis Symposium (SAS), Valencia, Spain…
Add To MetaCart

Research Intern
by Advisor Prof, Thomas Reps, Fall Spring, Mentor Sumit Gulwani — 2005
… Analysis Symposium (SAS), 2008. Nicholas Kidd, Akash Lal, and Thomas Reps. Language strength reduction…
Add To MetaCart

A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
by Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas Reps, Grammatech Inc
… Nested atomic blocks can be handled by the language-strength-reduction transformation [15].A Decision…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB