A Sound Semantics for OCaml light

DOI10.1007/978-3-540-78739-6_1zbMath1133.68308OpenAlexW1896092679MaRDI QIDQ5458382

Scott Owens

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_1

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (6)

Mechanized semantics for the clight subset of the C language ⋮ Structural operational semantics through context-dependent behaviour ⋮ A Brief Overview of HOL4 ⋮ A certified implementation of ML with structural polymorphism and recursive types ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Lem: A Lightweight Tool for Heavyweight Semantics

Uses Software

• ACL2
• HOL
• OCaml
• PoplMark
• Caml

This page was built for publication: A Sound Semantics for OCaml light