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

Documents Related by Co-Citation

42 Ott: Effective tool support for the working semanticist – Peter Sewell, Francesco Zappa Nardelli , Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa - 2007
76 Mechanizing the Metatheory of Standard ML – Daniel K. Lee, Karl Crary, Robert Harper - 2006
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
26 Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2006
97 A machine-checked model for a Java-like language, virtual machine and compiler – Gerwin Klein, Tobias Nipkow - 2004
35 Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2005
23 The Java Module System: core design and semantic definition – Rok Strniˇsa, Peter Sewell, Matthew Parkinson - 2007
4 FRAMA-C: Framework for modular analysis of C. Software and documentation available on the Web – CEA LIST - 2008
4 A.V.: Towards verification of C programs: Axiomatic semantics of the C-kernel language – V A Nepomniaschy, I S Anureev, Promsky - 2003
4 In: Higher Order Logic Theorem Proving and its – M van Inwegen, E L HOL-ML Gunter - 1993
4 P.: Nova micro-hypervisor verification. Robin project deliverable D13, Radboud Universiteit Nijmegen – H Tews, T Weber, M Völp, E Poll, M van Eekelen, van Rossum - 2008
7 J.F.: Extracting purely functional contents from logical inductive types – D Delahaye, C Dubois, Étienne
14 Verifying Duff's device: A simple compositional denotational semantics for Goto and computed jumps. Draft, 2004. Available from wwwtcs.inf.tudresden.de/,tews/science.html – Hendrik Tews - 2004
7 Verification of sequential imperative programs – Norbert Schirmer, Technische Universität München, Technische Universität München, Norbert Schirmer - 2006
83 The Semantics of the C Programming Language – Yuri Gurevich, James K. Huggins - 1993
13 System V Application Binary Interface: PowerPC processor Supplement. SunSoft – S Zucker, K Karhi - 1995
5 O.: Newspeak, doubleplussimple minilang for goodthinkful static analysis of C – Charles Hymans, Olivier Levillain
32 Formalizing the safety of Java, the Java virtual machine, and Java card – P Hartel, L Moreau - 2001
63 Java Program Verification via a Hoare Logic with Abrupt Termination – Marieke Huisman, Bart Jacobs - 2000