Searching for "Multimodal Separation Logic for Reasoning About Operational Semantics." – 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.

Multimodal separation logic for reasoning about operational semantics
by Robert Dockins, Aquinas Hobor — 2008 — In Proc. 24th Conference on the Mathematical Foundations of Programming Semantics
…MFPS 2008 Multimodal Separation Logic for Reasoning About Operational Semantics Abstract Robert…
Cited by 2 (1 self) – Add To MetaCart

Publications
by Aquinas Hobor, C. J. Bell
… submitted for publication Multimodal Separation Logic for Reasoning About Operational Semantics Robert…
Add To MetaCart

Showing 1 through 2.

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