MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Relational Parametricity 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

Relational parametricity and separation logic
by Lars Birkedal, Hongseok Yang — 2007 — In 10th FOSSACS, LNCS 4423
…Relational Parametricity and Separation Logic Lars Birkedal 1 and Hongseok Yang 2 1 IT University…
Cited by 12 (6 self) – Add To MetaCart

Compiling functional types to relational specifications for low level imperative code
by Nick Benton, Nicolas Tabareau — 2009 — In TLDI
… verification, type soundness, relational parametricity, separation logic, proof assistants 1. Introduction What…
Cited by 3 (2 self) – Add To MetaCart

Printed by AlfapressPreface
by Ttü Küberneetika Instituut, Edited Tarmo Uustalu, Jüri Vain, Juhan Ernits — 2008
… parametricity and separation logic. In Helmut Seidl, editor, Proceedings of the 10 International Conference…
Add To MetaCart

Showing 1 through 3.

ATOM

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