Light-weight Containers

MaRDI QIDQ40952swMATHFDO

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

Described by source

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

Cited in

(16)

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

This page was built for software: Light-weight Containers