Stream Fusion for Isabelle’s Code Generator

DOI10.1007/978-3-319-22102-1_18zbMath1465.68292OpenAlexW1962859855MaRDI QIDQ2945639

Alexandra Maximova, Andreas Lochbihler

Publication date: 14 September 2015

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22102-1_18

Mathematics Subject Classification ID

Data structures (68P05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Isabelle
• Isabelle/HOL
• CeTA
• Stream Fusion
• Stream Fusion Code

This page was built for publication: Stream Fusion for Isabelle’s Code Generator