• Publications
  • Influence
The Refined Operational Semantics of Constraint Handling Rules
TLDR
Constraint Handling Rules use an operational semantics which is considerably finer than the theoretical operational semantics, but is still non-deterministic (from the user’s perspective). Expand
  • 176
  • 27
  • PDF
The Design of the Zinc Modelling Language
TLDR
Zinc is a new modelling language developed as part of the G12 project. Expand
  • 151
  • 8
  • PDF
Lock-free parallel dynamic programming
TLDR
We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the order in which the dynamic program computes its subproblems. Expand
  • 43
  • 7
  • PDF
The Modelling Language Zinc
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be readily extended toExpand
  • 62
  • 7
  • PDF
Finding all minimal unsatisfiable subsets
TLDR
A number of forms of error diagnosis, including circuit error diagnosis and typeerror diagnosis, require finding all minimal unsatisfiable subsets of a given set of constraints (representing an error). Expand
  • 83
  • 6
  • PDF
Optimizing compilation of constraint handling rules in HAL
TLDR
We show how to use different kinds of information in the compilation of Constraint Handling Rules to obtain access efficiency, and a better translation of the CHR rules into the underlying language, which in this case is HAL. Expand
  • 51
  • 5
  • PDF
Dynamic Programming to Minimize the Maximum Number of Open Stacks
TLDR
We give a dynamic-programming solution to the problem of minimizing the maximum number of open stacks. Expand
  • 36
  • 5
  • PDF
From Zinc to Design Model
TLDR
We describe a preliminary implementation of the high-level modelling language Zinc. Expand
  • 23
  • 5
  • PDF
PoPS: a computational tool for modeling and predicting protease specificity
TLDR
We present PoPS, a publicly accessible bioinformatics tool (http://pops.monash.edu.au/) which provides a novel method for building computational models of protease specificity that, while still being based on these amino acid sequences, can be built from any experimental data or expert knowledge available to the user. Expand
  • 59
  • 4
  • PDF
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization
TLDR
This paper presents a study of the effectiveness of global analysis in the parallelization of logic programs using strict independence. Expand
  • 77
  • 4
  • PDF