scientific article; zbMATH DE number 1301860
From MaRDI portal
Publication:4247084
zbMath0927.03026MaRDI QIDQ4247084
Wolfgang Naraschewski, Markus Wenzel
Publication date: 15 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
higher-order logicparametric polymorphismextensible recordsobject-oriented specification and verificationstructural subtyping
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Interactive and automated proofs for graph transformations ⋮ Formal reasoning under cached address translation ⋮ Exploring the structure of an algebra text with locales ⋮ A mechanized proof of the basic perturbation lemma ⋮ Generating certified code from formal proofs: a case study in homological algebra ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Semantics of Mizar as an Isabelle object logic ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++ ⋮ A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory ⋮ Modelling algebraic structures and morphisms in ACL2
Uses Software
This page was built for publication:
