Semantics-based Program Analysis via Symbolic Composition of Transfer Relations
Degree Type:
Ph.D. in Computer Science
Advisor(s):
Peter Lee Graduated:
August
1996
Keywords:
program analysis abstract interpretation symbolic execution program verification compilers debugging operational semantics functional languages imperative languages
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
