Horn clauses as an intermediate representation for program analysis and transformation (Q4592995): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: TRACER / rank
 
Normal rank

Revision as of 21:14, 29 February 2024

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
    0 references
    0 references

    Identifiers