Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable
From MaRDI portal
Publication:5327340
DOI10.1007/978-3-642-39634-2_11zbMath1317.68219OpenAlexW118932385MaRDI QIDQ5327340
Publication date: 7 August 2013
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_11
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Formalization and Execution of Linear Algebra: From Theorems to Algorithms ⋮ A Consistent Foundation for Isabelle/HOL ⋮ Deriving Comparators and Show Functions in Isabelle/HOL ⋮ Automatic refinement to efficient data structures: a comparison of two approaches ⋮ Certifying proofs in the first-order theory of rewriting ⋮ A consistent foundation for Isabelle/HOL ⋮ Reachability, confluence, and termination analysis with state-compatible automata ⋮ Isabelle's metalogic: formalization and proof checker ⋮ Light-weight Containers ⋮ A formally verified, optimized monitor for metric first-order dynamic logic ⋮ A formalization and proof checker for Isabelle's metalogic
Uses Software
This page was built for publication: Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable