Searching for "Local reasoning about a copying garbage collector." – 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.

Local Reasoning about a Copying Garbage Collector
by Lars Birkedal, Noah Torp-smith, John C. Reynolds — 2004 — In 31st ACM POPL
…Local Reasoning about a Copying Garbage Collector Lars Birkedal The IT University of Copenhagen…
Cited by 45 (7 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
…. Local reasoning about a copying garbage collector. In Conference Record of POPL 2004: The 31st ACM…
Add To MetaCart

Showing 1 through 2.

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