MetaPRL is the latest system to come out of over twenty five years of research by the Cornell
PRL group. While initially created at Cornell, MetaPRL is currently a collaborative project …

The task of designing and implementing a compiler can be a difficult and error-prone
process. In this paper, we present a new approach based on the use of higher-order abstract …

Interprocess communication (IPC) is ubiquitous in today's computing world. One of the
simplest mechanisms for IPC is shared memory. We present a system that enhances the …

This thesis introduces a new programming model based on speculative execution and it
examines the use of speculations, a form of distributed transactions, for improving the …

Software patterns have potential to enhance the comprehension, application and
communication of agent oriented software concepts. To realize this potential, agent oriented …

We present an approach for implementing language-level primitives for whole-process
migration and speculative execution in a compiler and associated runtime environment …

The task of designing and implementing a compiler can be a difficult and error-prone
process. In this paper, we present a new approach based on the use of higher-order abstract …

This thesis examines programming language concepts that facilitate fault-tolerant distributed
programming. New language primitives are introduced for whole-process migration, which …

This document contains a listing of most of the MetaPRL logical theories. It is generated
automatically on a daily basis. To get the latest version, go to http://metaprl. org/theories. pdf …

The task of designing and implementing a compiler can be a difficult and error-prone
process. In this paper, we present a new approach based on the use of higher-order abstract …