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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(10 intermediate revisions by 6 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: Mercury / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: TRACER / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: UFO / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Threader / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: VeriMAP / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q57664991 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1507.05762 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cost analysis of object-oriented bytecode programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417894 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The octagon abstract domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The execution algorithm of mercury, an efficient purely declarative logic programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Programming Languages and Systems / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3098190183 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:32, 30 July 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
    0 references
    0 references
    0 references

    Identifiers