DSpace Repository

Browsing by Author "Aarti Gupta."

Browsing by Author "Aarti Gupta."

Sort by: Order: Results:

  • Song, Wenxin (The Graduate School, Stony Brook University: Stony Brook, NY., 2010-08-01)
    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 ...

Search DSpace


My Account