Finding suitable variability abstractions for lifted analysis (Q2414252)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finding suitable variability abstractions for lifted analysis
scientific article

    Statements

    Finding suitable variability abstractions for lifted analysis (English)
    0 references
    0 references
    0 references
    0 references
    10 May 2019
    0 references
    program families
    0 references
    lifted static analysis
    0 references
    variability abstractions
    0 references
    abstract interpretation
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers