BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Hungary
1 × Italy
1 × Spain
1 × The Netherlands
2 × Germany
4 × USA
Collaborated with:
∅ J.Noble D.Willis P.H.J.Kelly C.Hankin L.Groves S.Nelson C.Male A.Potanin C.Dymnikov B.Thompson C.Anslow G.Haggard Jens Dietrich 0001 K.Jezek P.Brada
Talks about:
java (5) verif (3) type (3) intersect (2) contract (2) pointer (2) languag (2) complet (2) analysi (2) whiley (2)

♂ Person: David J. Pearce

DBLP DBLP: Pearce:David_J=

Facilitated 3 volumes:

SLE 2015PrCo
SLE 2014Ed
SLE 2014PrCh

Contributed to:

SLE 20152015
SLE 20132013
VMCAI 20132013
CC 20112011
TOOLS Europe 20102010
CC 20082008
OOPSLA 20082008
SOFTVIS 20082008
ECOOP 20062006
PASTE 20042004
SCAM 20032003
GPCE 20172017
PLATEAU 20152015
ECOOP 20172017

Wrote 14 papers:

SLE-2015-Pearce
The whiley rewrite language (WyRL) (DJP), pp. 161–166.
SLE-2013-PearceG #framework #named #platform #research #verification
Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
VMCAI-2013-Pearce #type system
Sound and Complete Flow Typing with Unions, Intersections and Negations (DJP), pp. 335–354.
CC-2011-Pearce #composition #java #named
JPure: A Modular Purity System for Java (DJP), pp. 104–123.
TOOLS-EUROPE-2010-NelsonPN #comprehension #contract #design
Understanding the Impact of Collection Contracts on Design (SN, DJP, JN), pp. 61–78.
CC-2008-MalePPD #bytecode #java #verification
Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.
OOPSLA-2008-WillisPN #java #query
Caching and incrementalisation in the java query language (DW, DJP, JN), pp. 1–18.
SOFTVIS-2008-ThompsonPAH #polynomial #visualisation
Visualizing the computation tree of the Tutte Polynomial (BT, DJP, CA, GH), pp. 211–212.
ECOOP-2006-WillisPN #java #performance #query
Efficient Object Querying for Java (DW, DJP, JN), pp. 28–49.
PASTE-2004-PearceKH #analysis #c #performance #pointer
Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.
SCAM-2003-PearceKH #analysis #detection #difference #online #pointer
Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.
GPCE-2017-Pearce
Rewriting for sound and complete union, intersection and negation types (DJP), pp. 117–130.
PLATEAU-2015-Pearce #usability #verification
Some usability hypotheses for verification (DJP), pp. 57–60.
ECOOP-2017-DietrichPJBD #case study #contract #java #source code
Contracts in the Wild: A Study of Java Programs (JD0, DJP, KJ, PB), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.