Light-weight Containers

MaRDI QIDQ7361428FDO

Authors Andreas Lochbihler, René Thiemann

Publication date 15 April 2013

Cites work

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

Cited in

(8)

• Polynomial Factorization
• AI Planning Languages Semantics
• Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic
• Verified Complete Test Strategies for Finite State Machines
• A Formal CHERI-C Memory Model
• First-Order Query Evaluation
• Collections Framework
• Multi-Head Monitoring of Metric Dynamic Logic

This page was built for software: Light-weight Containers