Gavin M. Bierman

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Matthew J. Parkinson

> Home > Persons > Gavin M. Bierman

Publications

2013
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/ParkinsonB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ParkinsonB13
Matthew J. Parkinson, Gavin M. Bierman:
Separation Logic for Object-Oriented Programming. Aliasing in Object-Oriented Programming 2013: 366-406
2008
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BiermanPN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BiermanPN08
Gavin M. Bierman, Matthew J. Parkinson, James Noble:
UpgradeJ: Incremental Typechecking for Class Upgrades. ECOOP 2008: 235-259
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/hotswup/TemperoBNP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotswup/TemperoBNP08
Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew J. Parkinson:
From Java To UpgradeJ: An Empirical Study. HotSWUp 2008
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ParkinsonB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ParkinsonB08
Matthew J. Parkinson, Gavin M. Bierman:
Separation logic, abstraction and inheritance. POPL 2008: 75-86
2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ParkinsonB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ParkinsonB05
Matthew J. Parkinson, Gavin M. Bierman:
Separation logic and abstraction. POPL 2005: 247-258
2003
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BiermanP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BiermanP03
Gavin M. Bierman, Matthew J. Parkinson:
Effects and effect inference for a core Java calculus. WOOD 2003: 82-107

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.