Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Semantics-based Program Analysis via Symbolic Composition of Transfer Relations

Summary: Semantics-based Program Analysis via
Symbolic Composition of Transfer Relations
Christopher Colby
August 16, 1996
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


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University


Collections: Mathematics