Abstract interpretation using typed decision graphs

DOI10.1016/S0167-6423(96)00042-1zbMath0941.68009OpenAlexW2054796180MaRDI QIDQ1818312

Laurent Mauborgne

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(96)00042-1

zbMATH Keywords

binary decision diagramstyped decision graphs

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

A novel graphical technique for combinational logic representation and optimization ⋮ A Scalable Segmented Decision Tree Abstract Domain

This page was built for publication: Abstract interpretation using typed decision graphs