A Deep Embedding of Z_C in Isabelle/HOL (2001)

by Norbert Völker
Citations:1 - 1 self

Documents Related by Co-Citation

1 Disjoint Sums over Type Classes in HOL – Norbert Völker - 1999
1 Isabelle/HOL 99-2 files for ”Two Semantic – N Völker - 2001
11 Investigating Z – Martin C. Henson, Steve Reeves - 2000
20 A Less Elementary Tutorial for the PVS Specification and Verification System – Rushby And Stringer-Calvert, J. M. Rushby, D. W. J. Stringer-calvert - 1996
34 A Structure Preserving Encoding of Z in Isabelle/HOL – Kolyang Santen Wolff, T. Santen, B. Wolff - 1996
198 Understanding Z: A specification language and its formal semantics – J M Spivey - 1988
104 Introduction to HOL – Mike J C Gordon, Tom F Melham - 1993
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
44 A fixedpoint approach to implementing (co)inductive definitions – L C Paulson - 1994
22 Isabelle's Object-Logics – Lawrence C. Paulson - 1997
567 Term Rewriting Systems – J. W. Klop - 1992
38 Object-Oriented Verification based on Record Subtyping in Higher-Order Logic – Wolfgang Naraschewski, Markus Wenzel - 1998