Aquinas Hobor
Publications
Comparing Semantic and Syntactic Methods in
Mechanized Proof Frameworks (PDF)
C. J. Bell, Robert Dockins, Aquinas Hobor,
Andrew W. Appel, David Walker
Currently submitted for publication
Multimodal Separation Logic for Reasoning About
Operational Semantics (PDF)
Robert Dockins, Andrew W. Appel, Aquinas Hobor
To appear in Mathematical Foundations of Programming
Semantics (MFPS 2008)
Oracle Semantics for Concurrent Separation Logic
(PDF,
PPT)
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
17th European Symposium of Programming (ESOP 2008), pages
353-367