Abstracting abstract machines (Q5176929)

From MaRDI portal
scientific article; zbMATH DE number 6411495
Language Label Description Also known as
English
Abstracting abstract machines
scientific article; zbMATH DE number 6411495

    Statements

    Abstracting abstract machines (English)
    0 references
    0 references
    0 references
    5 March 2015
    0 references
    abstract interpretation
    0 references
    abstract machines
    0 references

    Identifiers

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