Now showing items 1-1 of 1

  • Using Horn Clauses and Binary Decision Diagrams for Program Analysis 

    Song, Wenxin (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Aug-10)
    Logic programming languages have been widely used to express program analyses. In this dissertation, we present a framework of program analysis using Horn clauses and Binary Decision Diagrams (BDDs). In contrast to previous ...