David J. Pearce
David J. Pearce
School of Engineering and Computer Science, Victoria University of Wellington
Geverifieerd e-mailadres voor ecs.vuw.ac.nz - Homepage
Geciteerd door
Geciteerd door
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
A dynamic topological sort algorithm for directed acyclic graphs
DJ Pearce, PHJ Kelly
Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007
Relationship aspects
DJ Pearce, J Noble
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
Profiling with AspectJ
DJ Pearce, M Webster, R Berry, PHJ Kelly
Software: Practice and Experience 37 (7), 747-777, 2007
Efficient object querying for java
D Willis, DJ Pearce, J Noble
European Conference on Object-Oriented Programming, 28-49, 2006
Design space exploration with a stream compiler
O Mencer, DJ Pearce, LW Howes, W Luk
Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003
Computing tutte polynomials
G Haggard, DJ Pearce, G Royle
ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010
JPure: a modular purity system for Java
DJ Pearce
International Conference on Compiler Construction, 104-123, 2011
Online cycle detection and difference propagation for pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Proceedings Third IEEE International Workshop on Source Code Analysis and …, 2003
Caching and incrementalisation in the Java Query Language
D Willis, DJ Pearce, J Noble
ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008
GILK: A dynamic instrumentation tool for the linux kernel
DJ Pearce, PHJ Kelly, T Field, U Harder
International Conference on Modelling Techniques and Tools for Computer …, 2002
Online cycle detection and difference propagation: Applications to pointer analysis
DJ Pearce, PHJ Kelly, C Hankin
Software Quality Journal 12 (4), 311-337, 2004
AspectJ for multilevel security
R Ramachandran, DJ Pearce, I Welch
Proceedings of the Fifth AOSD Workshop on Aspects, Components, and Patterns …, 2006
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
Whiley: a platform for research in software verification
DJ Pearce, L Groves
International Conference on Software Language Engineering, 238-248, 2013
A dynamic algorithm for topologically sorting directed acyclic graphs
DJ Pearce, PHJ Kelly
International Workshop on Experimental and Efficient Algorithms, 383-398, 2004
Sound and complete flow typing with unions, intersections and negations
DJ Pearce
International Conference on Verification, Model Checking, and Abstract …, 2013
Patterns as objects in Grace
M Homer, J Noble, KB Bruce, AP Black, DJ Pearce
ACM SIGPLAN Notices 48 (2), 17-28, 2012
Patterns of Aspect-Oriented Design.
J Noble, A Schmidmeier, DJ Pearce, AP Black
EuroPLoP, 769-796, 2007
An improved algorithm for finding the strongly connected components of a directed graph
DJ Pearce
Victoria University, Wellington, NZ, Tech. Rep, 2005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20