Task 1 Papers

[1] Anthony C. J. Fox. Improved tool support for machine-code decompilation in HOL4. In ITP 2015:Interactive Theorem Proving - 6th International Conference, Nanjing, China, pages 187-202, August 2015. [ bib | DOI | http | .pdf | Abstract ]
[2] A. M. Pitts, J. Matthiesen, and J. Derikx. A dependent type theory with abstractable names. In I. Mackie and M. Ayala-Rincon, editors, LSFA 2014: Proceedings of the 9th Workshop on Logical and Semantic Frameworks, with Applications, volume 312 of Electronic Notes in Theoretical Computer Science, pages 19-50. Elsevier, April 2015. [ bib | DOI | http | Abstract ]
[3] Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, and Peter Sewell. Lem: Reusable engineering of real-world semantics. In ICFP 2014: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pages 175-188, New York, NY, USA, September 2014. ACM. [ bib | DOI | http | .pdf | Abstract ]
[4] Basile Clement. Running programming language specifications, August 2014. MPRI report. [ bib ]

This file was generated by bibtex2html 1.96.