Light-weight Containers

swMATH29238MaRDI QIDQ40952FDOQ40952

Author name not available (Why is that?)

Described by source

• Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable

Cited In (3)

• 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