default search action

combined dblp search
author search
venue search
publication search

ask others

David J. Pearce 0001

David James Pearce

> Home > Persons

Person information

affiliation: Victoria University of Wellington, New Zealand

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2005
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Pearce05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Pearce05
David James Pearce:
Some directed graph algorithms and their application to pointer analysis. Imperial College London, UK, 2005

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ipm/GrivasGTLAZDMPA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipm/GrivasGTLAZDMPA25
Andreas Grivas, Claire Grover, Richard Tobin, Clare Llewellyn, Eleojo Oluwaseun Abubakar, Chunyu Zheng, Chris Dibben, Alan Marshall, David J. Pearce, Beatrice Alex:
Perceptions of Edinburgh: Capturing neighbourhood characteristics by clustering geoparsed local news. Inf. Process. Manag. 62(1): 103910 (2025)
2022
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/PearceUG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PearceUG22
David J. Pearce, Mark Utting, Lindsay Groves:
Verifying Whiley Programs with Boogie. J. Autom. Reason. 66(4): 747-803 (2022)
2021
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Pearce21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Pearce21
David J. Pearce:
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. ACM Trans. Program. Lang. Syst. 43(1): 3:1-3:73 (2021)
2020
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/PearceS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/PearceS20
David J. Pearce, Ulrik Pagh Schultz:
Editorial for GPCE&SLE2018 Special Issue. J. Comput. Lang. 59: 100988 (2020)
2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/Pearce19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/Pearce19
David J. Pearce:
On declarative rewriting for sound and complete union, intersection and negation types. J. Comput. Lang. 50: 84-101 (2019)
2017
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/DietrichPJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/DietrichPJB17
Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 06:1-06:4 (2017)
2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Pearce16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Pearce16
David J. Pearce:
A space-efficient algorithm for finding strongly connected components. Inf. Process. Lett. 116(1): 47-52 (2016)
2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/CombemalePPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/CombemalePPW15
Benoît Combemale, David J. Pearce, Richard F. Paige, Eric Van Wyk:
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). Comput. Lang. Syst. Struct. 44: 1-2 (2015)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PearceG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PearceG15
David J. Pearce, Lindsay Groves:
Designing a verifying compiler: Lessons learned from developing Whiley. Sci. Comput. Program. 113: 191-220 (2015)
2011
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MalePPD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MalePPD11
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov:
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Sci. Comput. Program. 76(7): 587-608 (2011)
2010
[j6]
- view
  - electronic edition @ uchicago.edu (open access)
  - details & citations
- export record
  dblp key:
  - journals/cjtcs/PearceHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cjtcs/PearceHR10
David J. Pearce, Gary Haggard, Gordon F. Royle:
Edge-Selection Heuristics for Computing Tutte Polynomials. Chic. J. Theor. Comput. Sci. 2010 (2010)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/toms/HaggardPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toms/HaggardPR10
Gary Haggard, David J. Pearce, Gordon F. Royle:
Computing Tutte Polynomials. ACM Trans. Math. Softw. 37(3): 24:1-24:17 (2010)
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/PearceWBK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/PearceWBK07
David J. Pearce, Matthew Webster, Robert F. Berry, Paul H. J. Kelly:
Profiling with AspectJ. Softw. Pract. Exp. 37(7): 747-777 (2007)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/PearceKH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/PearceKH07
David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis of C. ACM Trans. Program. Lang. Syst. 30(1): 4 (2007)
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jea/PearceK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jea/PearceK06
David J. Pearce, Paul H. J. Kelly:
A dynamic topological sort algorithm for directed acyclic graphs. ACM J. Exp. Algorithmics 11 (2006)
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/PearceKH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/PearceKH04
David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Softw. Qual. J. 12(4): 311-337 (2004)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/00010C23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/00010C23
Jens Dietrich, David J. Pearce, Mahin Chandramohan:
On Leveraging Tests to Infer Nullable Annotations. ECOOP 2023: 10:1-10:25
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CassezFGPQ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CassezFGPQ23
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles:
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM 2023: 571-583
2022
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/envirvis-ws/PowleyAP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/envirvis-ws/PowleyAP22
Benjamin Thomas Powley, Craig Anslow, David James Pearce:
AtmoVis: Web Based Visualization of Air Quality Data with Interconnected Windows. EnvirVis@EuroVis 2022: 19-26
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PayetPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PayetPS22
Étienne Payet, David J. Pearce, Fausto Spoto:
On the Termination of Borrow Checking in Featherweight Rust. NFM 2022: 411-430
2020
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/LamDP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LamDP20
Patrick Lam, Jens Dietrich, David J. Pearce:
Putting the semantics into semantic versioning. Onward! 2020: 157-179
2019
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/0001PSTB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/0001PSTB19
Jens Dietrich, David J. Pearce, Jacob Stringer, Amjed Tahir, Kelly Blincoe:
Dependency versioning in the wild. MSR 2019: 349-359
2018
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/KlapaukhMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/KlapaukhMP18
Roman Klapaukh, Stuart Marshall, David J. Pearce:
A Symmetry Metric for Graphs and Line Diagrams. Diagrams 2018: 739-742
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PaugetPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PaugetPP18
Baptiste Pauget, David J. Pearce, Alex Potanin:
Towards compilation of an imperative language for FPGAs. VMIL@SPLASH 2018: 47-56
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/setss/PearceUG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/PearceUG18
David J. Pearce, Mark Utting, Lindsay Groves:
An Introduction to Software Verification with Whiley. SETSS 2018: 1-37
2017
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/DietrichPJBD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DietrichPJBD17
Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs. ECOOP 2017: 9:1-9:29
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/Pearce17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/Pearce17
David J. Pearce:
Rewriting for sound and complete union, intersection and negation types. GPCE 2017: 117-130
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/UttingPG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/UttingPG17
Mark Utting, David J. Pearce, Lindsay Groves:
Making Whiley Boogie! IFM 2017: 69-84
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Pearce17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Pearce17
David J. Pearce:
Array programming in Whiley. ARRAY@PLDI 2017: 17-24
2016
[c32]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/ecoop/JonesP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/JonesP16
Timothy Jones, David J. Pearce:
A Mechanical Soundness Proof for Subtyping Over Recursive Types. FTfJP@ECOOP 2016: 1
2015
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/Pearce15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/Pearce15
David J. Pearce:
Integer Range Analysis for Whiley on Embedded Systems. ISORC Workshops 2015: 26-33
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Pearce15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Pearce15
David J. Pearce:
Some usability hypotheses for verification. PLATEAU@SPLASH 2015: 57-60
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ozchi/KlapaukhPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ozchi/KlapaukhPM15
Roman Klapaukh, David J. Pearce, Stuart Marshall:
Comparing Graph Layouts for Vertex Selection Tasks. OZCHI 2015: 557-565
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/Pearce15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/Pearce15
David J. Pearce:
The whiley rewrite language (WyRL). SLE 2015: 161-166
2014
[c27]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/acsc/KlapaukhPM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/KlapaukhPM14
Roman Klapaukh, David J. Pearce, Stuart Marshall:
Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm. ACSC 2014: 29-37
2013
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/DymnikovPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/DymnikovPP13
Constantine Dymnikov, David J. Pearce, Alex Potanin:
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference 2013: 181-190
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Pearce13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Pearce13
David J. Pearce:
A calculus for constraint-based flow typing. FTfJP@ECOOP 2013: 7:1-7:7
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/PearceG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/PearceG13
David J. Pearce, Lindsay Groves:
Reflections on Verifying Software with Whiley. FTSCS 2013: 142-159
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/PearceG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/PearceG13
David J. Pearce, Lindsay Groves:
Whiley: A Platform for Research in Software Verification. SLE 2013: 238-248
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Pearce13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Pearce13
David J. Pearce:
Sound and Complete Flow Typing with Unions, Intersections and Negations. VMCAI 2013: 335-354
2012
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dls/HomerNBBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dls/HomerNBBP12
Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce:
Patterns as objects in grace. DLS 2012: 17-28
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NelsonPN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NelsonPN12
Stephen Nelson, David J. Pearce, James Noble:
Profiling Field Initialisation in Java. RV 2012: 292-307
2011
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cc/Pearce11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/Pearce11
David J. Pearce:
JPure: A Modular Purity System for Java. CC 2011: 104-123
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PearceN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PearceN11
David J. Pearce, James Noble:
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Bytecode@ETAPS 2011: 47-59
2010
[c17]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/acsc/PearceK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/PearceK10
David J. Pearce, Paul H. J. Kelly:
A batch algorithm for maintaining a topological order. ACSC 2010: 79-88
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/NelsonPN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/NelsonPN10
Stephen Nelson, David J. Pearce, James Noble:
Understanding the Impact of Collection Contracts on Design. TOOLS (48) 2010: 61-78
2009
[c15]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/cats/PearceHR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cats/PearceHR09
David J. Pearce, Gary Haggard, Gordon F. Royle:
Edge-Selection Heuristics for Computing Tutte Polynomials. CATS 2009: 151-159
2008
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cc/MalePPD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/MalePPD08
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov:
Java Bytecode Verification for @NonNull Types. CC 2008: 229-244
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/WillisPN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/WillisPN08
Darren Willis, David J. Pearce, James Noble:
Caching and incrementalisation in the java query language. OOPSLA 2008: 1-18
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/NelsonBBMNPST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/NelsonBBMNPST08
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip:
Relationships and associations in object-oriented languages. OOPSLA Companion 2008: 855-856
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/softvis/ThompsonPAH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/softvis/ThompsonPAH08
Bennett Thompson, David J. Pearce, Craig Anslow, Gary Haggard:
Visualizing the computation tree of the Tutte Polynomial. SOFTVIS 2008: 211-212
2007
[c10]
- view
  - electronic edition @ hillside.net
  - details & citations
- export record
  dblp key:
  - conf/europlop/NobleSPB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europlop/NobleSPB07
James Noble, Arno Schmidmeier, David J. Pearce, Andrew P. Black:
Patterns of Aspect-Oriented Design. EuroPLoP 2007: 769-796
2006
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/PearceN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/PearceN06
David J. Pearce, James Noble:
Relationship aspects. AOSD 2006: 75-86
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/WillisPN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WillisPN06
Darren Willis, David J. Pearce, James Noble:
Efficient Object Querying for Java. ECOOP 2006: 28-49
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/europlop/PearceN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europlop/PearceN06
David J. Pearce, James Noble:
Relationship Aspect Patterns. EuroPLoP 2006: 531-546
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fpl/LeeMPL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpl/LeeMPL04
Dong-U Lee, Oskar Mencer, David J. Pearce, Wayne Luk:
Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs. FPL 2004: 364-373
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/PearceKH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PearceKH04
David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Efficient field-sensitive pointer analysis for C. PASTE 2004: 37-42
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wea/PearceK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wea/PearceK04
David J. Pearce, Paul H. J. Kelly:
A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs. WEA 2004: 383-398
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fpt/MencerPHL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpt/MencerPHL03
Oskar Mencer, David J. Pearce, Lee W. Howes, Wayne Luk:
Design space exploration with A Stream Compiler. FPT 2003: 270-277
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/PearceKH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/PearceKH03
David J. Pearce, Paul H. J. Kelly, Chris Hankin:
Online Cycle Detection and Difference Propagation for Pointer Analysis. SCAM 2003: 3-12
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/PearceKFH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/PearceKFH02
David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder:
GILK: A Dynamic Instrumentation Tool for the Linux Kernel. Computer Performance Evaluation / TOOLS 2002: 220-226

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2018
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/2018
David J. Pearce, Tanja Mayerhofer, Friedrich Steimann:
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, November 05-06, 2018. ACM 2018, ISBN 978-1-4503-6029-6 [contents]
2014
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/2014ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2014ftfjp
David J. Pearce:
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM 2014, ISBN 978-1-4503-2866-1 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/2014
Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju:
Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Lecture Notes in Computer Science 8706, Springer 2014, ISBN 978-3-319-11244-2 [contents]
2010
[e1]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10152
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-11505
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-11505
Andreas Grivas, Claire Grover, Richard Tobin, Clare Llewellyn, Eleojo Oluwaseun Abubakar, Chunyu Zheng, Chris Dibben, Alan Marshall, David J. Pearce, Beatrice Alex:
Perceptions of Edinburgh: Capturing Neighbourhood Characteristics by Clustering Geoparsed Local News. CoRR abs/2409.11505 (2024)
2023
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-00152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-00152
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles:
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. CoRR abs/2303.00152 (2023)
2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-07069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-07069
Patrick Lam, Jens Dietrich, David J. Pearce:
Putting the Semantics into Semantic Versioning. CoRR abs/2008.07069 (2020)
2010
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BoellaMPST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BoellaMPST10
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages 2010
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BoellaMPST10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BoellaMPST10a
Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages. Relationships, Objects, Roles, and Queries in Modern Programming Languages 2010

Coauthor Index

see FAQ

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.