Bddl: A Type System for Binary Decision Diagrams

DOI10.1007/978-3-031-09827-7_3MaRDI QIDQ6487291zbMATH OpenFDO

Authors Yousra Lembachar, Gianfranco Ciardo

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-09827-7_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Recommendations

• BDDs -- design, analysis, complexity, and applications.
• scientific article; zbMATH DE number 1696436
• Formal Methods for Hardware Verification
• scientific article; zbMATH DE number 1390338
• Binary decision diagrams

Cites work

• Bddl: A Type System for Binary Decision Diagrams
• Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
• Decision diagrams for optimization
• Low-level liquid types
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• On the error resilience of ordered binary decision diagrams
• Theorem Proving in Higher Order Logics
• Types and programing languages
• Verifying integrity of decision diagrams

Cited in

(4)

• scientific article; zbMATH DE number 1696436 (Why is no real title available?)
• scientific article; zbMATH DE number 1980926 (Why is no real title available?)
• scientific article; zbMATH DE number 2086515 (Why is no real title available?)
• Bddl: A Type System for Binary Decision Diagrams

This page was built for publication: Bddl: A Type System for Binary Decision Diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487291)