Summary: Iktara in ConCert: Realizing a Certified Grid
Computing Framework from a Programmer's
Perspective
Bor­Yuh Evan Chang
June 2002
CMU­CS­02­150
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial fulfillment of the requirements
of the senior thesis program.
Advisors:
Robert Harper
Frank Pfenning
The ConCert Project is supported by the National Science Foundation under grant
ITR/SY+SI 0121633: ``Language Technology for Trustless Software Dissemination''.

Abstract
With the vast amount of computing resources distributed throughout the world
today, the prospect of e#ectively harnessing these resources has captivated the

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

Collections: Computer Technologies and Information Sciences; Mathematics