Mathematical programming: Turing completeness and applications to software analysis (Q405669)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mathematical programming: Turing completeness and applications to software analysis
scientific article

    Statements

    Mathematical programming: Turing completeness and applications to software analysis (English)
    0 references
    0 references
    0 references
    5 September 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    static analysis
    0 references
    abstract interpretation
    0 references
    code verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references