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 ...