Searching for "Mapped Separation Logic." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Mapped Separation Logic
- …Mapped Separation Logic Rafal Kolanski and Gerwin Klein Sydney Research Lab., NICTA ⋆ , Australia…
- Cited by 1 (1 self) – Add To MetaCart
-
Types, Maps and Separation Logic
- …Types, Maps and Separation Logic Rafal Kolanski and Gerwin Klein Sydney Research Lab., NICTA…
- Cited by 1 (1 self) – Add To MetaCart
-
SSV 2008 A Logic for Virtual Memory
- … in this context, as well as staying close to traditional separation logic notation. Although the virtual map can…
- Add To MetaCart
Showing 1 through 3.
