Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
PPDP '13
Madrid, Spain
Association for Computing Machinery
New York, NY, USA
Pages 13-24
2013
Note(s):
Coq theorem prover,
ISA specification,
Separation Logic Papers:
jensen:popl:2013
Papers related to Coq: The world’s best macro assembler?
High-level separation logic for low-level code [jensen:popl:2013]
The opinions expressed are my own views and not my employer’s.