Verification of Query Optimization Algorithms

MaRDI QIDQ7361893FDO

Authors Lukas Stevens, Bernhard Stöckl

Publication date 4 October 2022

Cites work

• A verified decision procedure for orders in Isabelle/HOL
• Isabelle. A generic theorem prover
• Tutorial to locales and locale interpretation

This page was built for software: Verification of Query Optimization Algorithms