Searching for "Separation Logic for Small-step Cminor" – sorted by Relevance.
-
2007, ‘Separation logic for small-step Cminor
- -6399 ISRN INRIA/RR--6138--FR+ENG Separation Logic for Small-step Cminor Andrew W. Appel ∗† , Sandrine Blazy
- Cited by 4 (1 self) – Add To MetaCart

