Dynamic rebinding for marshalling and update, (2009)
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, Keith Wansbrough
via redex-time and destruct-time reduction
Peter Sewell, Mike Hicks, Gareth Stoyle, Keith Wansbrough, Gavin Bierman
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
The essence of data access in Cω - The power is in the dot! (2008)
Gavin Bierman, Erik Meijer, Wolfram Schulte
In this paper we describe the data access features of C#, an experimental programming language under development at Microsoft Research. C# targets distributed, data-intensive applications and...
ISSN 1476-2986UpgradeJ: Incremental Typechecking for Class Upgrades ∗ (2008)
Gavin M. Bierman, Matthew J. Parkinson, James Noble, Cambridge Cb Fd, Matthew J. Parkinson, James Noble, ...
One of the problems facing developers is the constant evolution of components that are used to build applications. This evolution is typical of any multi-person or multi-site software project. How...
Mutatis Mutandis: safe and predictable dynamic software updating (2007)
Bierman, Gavin, Neamtiu, Iulian, Hicks, Michael, Sewell, Peter, Stoyle, Gareth
http://portal.acm.org/ft_gateway.cfm?id=1255455&type=pdf&coll=portal&dl=ACM&CFID=381409&CFTOKEN=93597745This article presents Proteus, a core calculus that models dynamic software updating, a service...
Gavin Bierman, Matthew Parkinson, James Noble
One of the problems facing developers is the constant evolution of components that are used to build an application. This evolution is typical of any multi-person or multi-site software project. How...
First-class relationships in an object-oriented language (2005)
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...
Mutatis Mutandis: Safe and predictable dynamic software updating (2005)
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell
This article presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program’s type structure...
Mutatis Mutandis: Safe and predictable dynamic software updating (2005)
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell
This paper presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program’s type structure to...
Separation Logic and Abstraction (2005)
Matthew Parkinson, Gavin Bierman
In this paper we address the problem of writing specifications for programs that use various forms of modularity, including procedures and Java-like classes. We build on the formalism of separation...
Safe And Predictable, Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynamic updating has been...
First-class relationships in an object-oriented language (2005)
Gavin Bierman, Gavin Bierman, Alisdair Wren, Alisdair Wren
Number 642 First-class relationships in an object-oriented language
First-class relationships in an object-oriented language (2005)
Abstract. 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...
Dynamic Rebinding for Marshalling and Update, with Destruct-time λ (2004)
Gavin Bierman, Gavin Bierman, Michael Hicks, Michael Hicks, Peter Sewell, Peter Sewell, ...
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Programming with circles, triangles and rectangles (2003)
Erik Meijer, Wolfram Schulte, Gavin Bierman
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java with native support for XML. In our approach XML documents or document fragments become first class...
Unifying tables, objects and documents (2003)
Erik Meijer, Wolfram Schulte, Gavin Bierman
Abstract. This paper proposes a number of type system and language extensions to natively support relational and hierarchical data within a statically typed object-oriented setting. In our approach...
Dynamic rebinding for marshalling and update, with destruct-time λ (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, with Destruct-time λ (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, with Destruct-time (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Formalizing Dynamic Software Updating (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
Dynamic Rebinding for Marshalling and Update, (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, with Destruct-time λ (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Programming with circles, triangles and rectangles (2003)
Erik Meijer, Wolfram Schulte, Gavin Bierman
This paper proposes extending popular object-oriented programming languages such as C#, VB or Java with native support for XML. In our approach XML documents or document fragments become first class...
The essence of data access in cω: The power is in the dot (2002)
Gavin Bierman, Erik Meijer, Wolfram Schulte
Abstract. In this paper we describe the data access features of Cω, an experimental programming language based on C ♯ currently under development at Microsoft Research. Cω targets distributed,...
Dynamic Rebinding for Distributed Programming (2002)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises. Typically...
The essence of data access in cω: The power is in the dot (2002)
Gavin Bierman, Erik Meijer, Wolfram Schulte
Abstract. In this paper we describe the data access features of Cω, an experimental programming language based on C ♯ currently under development at Microsoft Research. Cω targets distributed,...
Special Difficulties: None Original Aims (2001)
Ewan Mellor, Dr. Gavin Bierman
Theory and Semantics and Opera groups are currently working together to develop a language similar to ML, but which includes XML values as typed first-class data values, and a model of concurrency...
Dynamic software updating (2001)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
Dynamic software updating (2001)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
Dynamic software updating (2001)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
A Term Calculus for Intuitionistic Linear Logic (1993)
Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland
. 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...
A term calculus for intuitionistic linear logic (1993)
Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyl
Abstract. 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....
Linear lambda-Calculus and Categorical Models Revisited (1992)
Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland
this paper we shall consider multiplicative exponential linear logic (MELL), i.e. the fragment which has multiplicative conjunction or tensor,\Omega , linear implication, \Gammaffi, and the logical...
Term assignment for intuitionistic linear logic (1992)
Nick Benton, Gavin Bierman, Valeria Paiva, Martin Hyland
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...
Term Assignment for Intuitionistic Linear Logic (Preliminary Report) (1992)
Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland
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...
Linear -calculus and categorical models revisited (1992)
Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyl
In this paper we shall consider multiplicative exponential linear logic (MELL), i.e. the fragment which has multiplicative conjunction or tensor, \Omega, linear implication, \Gamma ffi, and the...
Term assignment for intuitionistic linear logic (1992)
Nick Benton, Gavin Bierman, Valeria Paiva
Abstract 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....