Abstract interpretation as automated deduction (Q2360874)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstract interpretation as automated deduction
scientific article

    Statements

    Abstract interpretation as automated deduction (English)
    0 references
    0 references
    0 references
    29 June 2017
    0 references
    abstract interpretation
    0 references
    deduction
    0 references
    Lindenbaum-Tarski construction
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references