Papers related to High-level separation logic for low-level code
- Coq: The world's best macro assembler? [kennedy:ppdp:2013]
High-level separation logic for low-level code
Jonas B. Jensen, Nick Benton, Andrew Kennedy[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '13
Rome, Italy
Association for Computing Machinery
New York, NY, USA
Pages 301-314
2013
Note(s): Separation logic, ISA specification, Instruction Set Architecture, x86 Architecture
Papers: kennedy:ppdp:2013
POPL '13
Rome, Italy
Association for Computing Machinery
New York, NY, USA
Pages 301-314
2013
Note(s): Separation logic, ISA specification, Instruction Set Architecture, x86 Architecture
Papers: kennedy:ppdp:2013