Gavin Bierman
YOU?
Author Swipe
Towards a formal type system for ODMG OQL Open
In this paper we consider in detail the type system of the object-oriented database query language, OQL, as defined by the ODMG [6]. Our main technical contribution is a formal definition of the typing relation for OQL---surprisingly we co…
On intuitionistic linear logic Open
In this thesis we carry out a detailed study of the (propositional) intuitionistic fragment of Girard’s linear logic (ILL). Firstly we give sequent calculus, natural deduction and axiomatic formulations of ILL. In particular our natural de…
Term assignment for intuitionistic linear logic (preliminary report) Open
In this paper we consider the problem of deriving a term assignment system for Girard’s Intuitionistic Linear Logic for both the sequent calculus and natural deduction proof systems. Our system differs from previous calculi (e.g. that of A…
MJ: An imperative core calculus for Java and Java with effects Open
In order to study rigorously object-oriented languages such as Java or C#, a common practice is to define lightweight fragments, or calculi, which are sufficiently small to facilitate formal proofs of key properties. However many of the cu…
First-class relationships in an object-oriented language Open
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide language-level constructs to declare relationships between classe…
Iota: A concurrent XML scripting language with applications to Home Area Networking Open
Iota is a small and simple concurrent language that provides native support for functional XML computation and for typed channel-based communication. It has been designed as a domain-specific language to express device behaviour within the…
What is a Secure Programming Language? Open
Our most sensitive and important software systems are written in programming languages that are inherently insecure, making the security of the systems themselves extremely challenging. It is often said that these systems were written with…
Self-managed collections: Off-heap memory management for scalable query-dominated collections Open
Explosive growth in DRAM capacities and the emergence of language-integrated query enable a new class of managed applications that perform complex query processing on huge volumes of data stored as collections of objects in the memory spac…