A sound semantics for OCamllight (2008)

by Scott Owens
Venue:In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Lecture Notes in Computer Science
Citations:13 - 2 self

Active Bibliography

Mechanized – unknown authors
DOI 10.1007/s10817-009-9148-3 Mechanized Semantics for the Clight Subset of the C Language – Rine Blazy Xavier Leroy
25 Mechanized Semantics for the Clight Subset of the C Language – Sandrine Blazy, Xavier Leroy
11 A thread of HOL development – Michael Norrish, Konrad Slind
136 Mechanized metatheory for the masses: The POPLmark challenge – Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic - 2005
unknown title – unknown authors
70 Typing a Multi-Language Intermediate Code – Andrew D. Gordon, Don Syme - 2000
3 A Rewriting Logic Approach to Type Inference ⋆ – Chucky Ellison, Traian Florin S, Grigore Ros
4 Verifying distributed systems: the operational approach – Thomas Ridge - 2009
This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis papers/235Mechanized Metatheory for the Masses: The PoplMark Challenge – Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Stephanie C. Weirich, Stephan A. Zdancewic, Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic
61 C formalised in HOL – Michael Norrish - 1998
6 Formalizing the LLVM Intermediate Representation for Verified Program Transformations – Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic - 2012
Formal Verification of Programs and . . . – Guodong Li - 2010
14 Abstract Machines for Dynamic Computation – Christopher David Walton - 2001
86 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
1 General Bindings and Alpha-Equivalence in Nominal Isabelle – Christian Urban, Cezary Kaliszyk
1 Experience with Randomized Testing in Programming Language Metatheory – Casey Klein - 2009
76 Mechanizing the Metatheory of Standard ML – Daniel K. Lee, Karl Crary, Robert Harper - 2006
c ○ 2008 Charles McEwen Ellison IIIA REWRITING LOGIC APPROACH TO DEFINING TYPE SYSTEMS BY – Charles Mcewen, Ellison Iii