Abstract interpretation using typed decision graphs (Q1818312)

From MaRDI portal





scientific article; zbMATH DE number 1383802
Language Label Description Also known as
English
Abstract interpretation using typed decision graphs
scientific article; zbMATH DE number 1383802

    Statements

    Abstract interpretation using typed decision graphs (English)
    0 references
    0 references
    4 January 2000
    0 references
    typed decision graphs
    0 references
    binary decision diagrams
    0 references

    Identifiers