Подписаться
David J. Pearce
David J. Pearce
ConsenSys
Подтвержден адрес электронной почты в домене consensys.net - Главная страница
Название
Процитировано
Процитировано
Год
Efficient field-sensitive pointer analysis of C
DJ Pearce, PHJ Kelly, C Hankin
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4-es, 2007
2402007
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
1252007
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12, 311-337, 2004
1122004
Profiling with AspectJ
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
932007
Relationship aspects
DJ Pearce, J Noble
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
932006
Efficient object querying for java
D Willis, DJ Pearce, J Noble
ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006
762006
Dependency versioning in the wild
J Dietrich, D Pearce, J Stringer, A Tahir, K Blincoe
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
742019
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
642011
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
632010
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
572008
Design space exploration with a stream compiler
O Mencer, DJ Pearce, LW Howes, W Luk
Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003
552003
GILK: A dynamic instrumentation tool for the linux kernel
DJ Pearce, PHJ Kelly, T Field, U Harder
Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002
492002
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
472013
Putting the semantics into semantic versioning
P Lam, J Dietrich, DJ Pearce
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
452020
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
442013
Java bytecode verification for @NonNull types
C Male, DJ Pearce, A Potanin, C Dymnikov
Proceedings of the Joint European Conferences on Theory and Practice of …, 2008
412008
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
ACP4IS 6 (20), 13-17, 2006
402006
An improved algorithm for finding the strongly connected components of a directed graph
DJ Pearce
Victoria University, Wellington, NZ, Tech. Rep, 2005
402005
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
372004
A lightweight formalism for reference lifetimes and borrowing in Rust
DJ Pearce
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-73, 2021
332021
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20