Light-weight Containers

swMATH29238MaRDI QIDQ40952FDOQ40952

Author name not available (Why is that?)

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