Studying the ML Module System in HOL (1994)

by Elsa Gunter , Savi Maharaj
Citations:5 - 2 self

Active Bibliography

Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems – Saif Ullah Khan
39 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992
11 A Type-Theoretic Account of Standard ML 1996 (Version 2) – Robert Harper, Chris Stone - 1996
11 Using Reflection to Explain and Enhance Type Theory – Robert L. Constable - 1994
Implementing Operational Semantics (Preliminary Report) – Roy L. Crole - 1997
4 The Expressive Power of Structural Operational Semantics with Explicit Assumptions – Marino Miculan
2 Semantics-based Reverse Engineering – Peter Baumann, Jürg Fässler, Markus Kiser, Zafer Öztürk, Lutz Richter - 1994
1 From a Formal Dynamic Semantics of Sisal to a Sisal Environment – Isabelle Attali, Denis Caromel, Andrew L. Wendelborn - 1995
1 Natural Semantics for Imperative and Object-Oriented Programming Languages – Sabine Glesner - 1998
1 ASMs versus Natural Semantics: A Comparison with New Insights – Sabine Glesner - 2003
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
5 Evolution of Rule-Based Programs – Ralf Lämmel - 2004
3 A Formal Semantics and an Interactive Environment for Sisal – Isabelle Attali, Denis Caromel, Andrew Wendelborn - 1995
Semantic Essence of AsmL: Extended Abstract ⋆ – Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
11 Programming Language Semantics – David A. Schmidt - 1995
1 Semantics, Modularity, and Rewriting Logic – Peter D. Mosses, Peter D. Mosses - 1998
Preliminary Proceedings Structural Operational Semantics – Reykjavík Iceland, Matthew Hennessy, Bartek Klin Contents, Vincent Danos, Dale Miller - 2008
34 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
1 Trustworthy Translation for the Requirements State Machine Language without Events – Michael William Whalen - 2005