Light-weight Containers

MaRDI QIDQ40952swMATHFDO

Authors Andreas Lochbihler, René Thiemann

Publication date 15 April 2013

Official website https://www.isa-afp.org/entries/Containers.html

Cites work

• Data refinement in Isabelle/HOL
• Light-weight containers for Isabelle: efficient, extensible, nestable
• The Isabelle collections framework

Described by source

• Light-weight containers for Isabelle: efficient, extensible, nestable

Cited in

(16)

• A consistent foundation for Isabelle/HOL
• Milawa
• Automatic refinement to efficient data structures: a comparison of two approaches
• Jitawa
• Fiat
• FinFuns
• CAVA Automata Library
• Containers
• Datatype Order Generator
• Tree Automata
• LTL_to_GBA
• Real_Impl
• VeriPhy
• Montre
• Reachability, confluence, and termination analysis with state-compatible automata
• aerial

This page was built for software: Light-weight Containers