Horn clauses as an intermediate representation for program analysis and transformation (Q4592995)

From MaRDI portal
Revision as of 21:07, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6804558
Language Label Description Also known as
English
Horn clauses as an intermediate representation for program analysis and transformation
scientific article; zbMATH DE number 6804558

    Statements

    Horn clauses as an intermediate representation for program analysis and transformation (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    9 November 2017
    0 references
    compilers
    0 references
    control flow graphs
    0 references
    intermediate representation
    0 references
    program analysis
    0 references
    program transformation
    0 references
    SSA
    0 references

    Identifiers