MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Marriage of Rely/Guarantee and Separation Logic." – 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

A marriage of rely/guarantee and separation logic
by C Viktor Vafeiadis, Viktor Vafeiadis, Viktor Vafeiadis, Matthew Parkinson, Matthew Parkinson, Matthew Parkinson — 2007 — In 18th CONCUR
…Technical Report Number 687 A marriage of rely/guarantee and separation logic Viktor Vafeiadis…
Cited by 13 (3 self) – 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
…, New York, 2007. ACM Press. [28] Viktor Vafeiadis and Matthew J. Parkinson. A marriage of rely/guarantee…
Add To MetaCart

Scalable specification and reasoning: Technical challenges for program logic
by Peter W. O’hearn, Queen Mary — 2005 — Verified Software: Theories, Tools, and Experiments (VSTTE
… in situations where there is a great degree of independence. Perhaps a marriage of rely-guarantee and Separation…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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