Semantics-based Program Analysis via Symbolic Composition of Transfer Relations
Degree Type:
Ph.D. in Computer Science
Advisor(s):
Peter Lee Graduated:
August
1996
Abstract
Currently Unavailable
Thesis Committee
Peter Lee (Chair)
Robert Harper
John Reynolds
Patrick Cousot (Ecole Normale Supérieure)
James Morris, Head, Computer Science Department
Raj Reddy Dean, School of Computer Science
Keywords
program analysis abstract interpretation symbolic execution program verification compilers debugging operational semantics functional languages imperative languages
