Dave's Homepage whileydave.com

Version 0.9.10

whileydave.com·929w

Version 0.9.9

whileydave.com·933w

Version 0.9.8

whileydave.com·938w

Version 0.9.7

whileydave.com·946w

Introducing Software Modelling with Alloy at VUW

whileydave.com·959w

Visualizing the computation tree of the Tutte Polynomial

whileydave.com·959w

The Java Compiler Kit

whileydave.com·959w

Patterns for ADT Optimisation

whileydave.com·959w

Java Bytecode Verification for @NonNull Types

whileydave.com·959w

Object State Querying for Optimisation

whileydave.com·959w

The Java Query Language

whileydave.com·959w

Caching and Incrementalisation for the Java Query Language

whileydave.com·959w

Implementing First-Class Relationships in Java

whileydave.com·959w

Version 0.9.6

whileydave.com·981w

Version 0.9.5

whileydave.com·981w

Version 0.9.4

whileydave.com·981w

Version 0.9.3

whileydave.com·981w

Version 0.9.2

whileydave.com·981w

Version 0.9.1

whileydave.com·990w

Profiling with AspectJ

whileydave.com·1011w

Log in to enable infinite scrolling