Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
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

  

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

 

Collections: Mathematics