MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Modular verification of a non-blocking stack." – 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

Modular verification of a non-blocking stack
by Matthew Parkinson, Richard Bornat, Peter O’Hearn — 2007 — PRINCIPLES OF PROGRAMMING LANGUAGES (POPL)
…Modular Verification of a Non-Blocking Stack Matthew Parkinson Computer Laboratory, University…
Cited by 11 (2 self) – Add To MetaCart

Exploiting Linearizability in Program Logics" has been
by Superseded By The, Matthew Parkinson — 2007 — In 34th POPL
… Modular Verification of a Non-blocking Stack”. 1 Modular Verification of a Non-Blocking Stack Matthew…
Add To MetaCart

data structure (abstract of invited lecture). In Fritz Henglein,
by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
…] Matthew J. Parkinson, Richard Bornat, and Peter W. O’Hearn. Modular verification of a non-blocking stack…
Add To MetaCart

Showing 1 through 3.

ATOM

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