Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modal Types for Mobile Code Tom Murphy VII
 

Summary: Modal Types for Mobile Code
Tom Murphy VII
CMU-CS-08-126
May 13, 2008
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Robert Harper, Co-Chair
Karl Crary, Co-Chair
Frank Pfenning
Peter Sewell
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright c 2008 Tom Murphy VII
Keywords: modal logic, distributed computing, programming languages, web pro-
gramming, compilers, types
Abstract
In this dissertation I argue that modal type systems provide an elegant
and practical means for controlling local resources in spatially distributed

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Carnegie Mellon University, School of Computer Science
Pfenning, Frank - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences; Mathematics