Searching for "Permission accounting in separation logic." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Permission Accounting in Separation Logic
by Richard Bornat School, Richard Bornat, Cristiano Calcagno, Matthew Parkinson — 2005
…ABSTRACT Permission Accounting in Separation Logic Richard Bornat School of Computing Science…
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
… Calcagno, Peter W. O’Hearn, and Matthew Parkinson. Permission accounting in separation logic. In Conference…
Add To MetaCart

Showing 1 through 2.

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