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
Related Items
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
