I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Solving Recursion-Free Horn Clauses over LI+UIF

Reference:

Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko. Solving recursion-free horn clauses over LI+UIF. In APLAS, December 2011.

Suggested BibTeX entry:

@inproceedings{GuptaAPLAS11,
    author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {APLAS},
    month = {December},
    title = {Solving Recursion-Free Horn Clauses over {LI+UIF}},
    year = {2011}
}

This work is not available online here.