| | |
Summary: Semantics-based Program Analysis via
Symbolic Composition of Transfer Relations
Christopher Colby
August 16, 1996
CMU-CS-96-162
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial ful llment of the requirements
for the degree of Doctor of Philosophy.
Thesis Committee:
Peter Lee, Chair
Robert Harper
John Reynolds
Patrick Cousot, Ecole Normale Superieure
Copyright c 1996 Christopher Colby
This research was sponsored in part by the Advanced Research Projects Agency CSTO under the title \The
Fox Project: Advanced Languages for Systems Software," ARPA Order No. C533, issued by ESC/ENS under
Contract No. F19628-95-C-0050.
The views and conclusions contained in this document are those of the author and should not be interpreted as
|
