- Improving Abstract Interpretations by Combining Domains
- ViMer: A Visual Debugger for Mercury M. Cameron, M. Garcia de la Banda, K. Marriott, and P. Moulder
- Multivariant Non-failure Analysis via Standard Abstract Interpretation
- Constraints (2009) 14:443477 DOI 10.1007/s10601-008-9057-9
- A Model for Inter-module Analysis and Optimizing Compilation
- Finding All Minimal Unsatisfiable Subsets Maria Garcia de la Banda
- Independence in CLP Languages MARIA GARCIA DE LA BANDA
- Automatically Exploiting Subproblem Equivalence in Constraint Programming
- Using relaxations in Maximum Density Still Life Geoffrey Chu1
- Adding Search to Zinc Reza Rafeh1
- A Novel Approach For Detecting Symmetries in , M. Garcia de la Banda1
- Adding constraint solving to Mercury Ralph Becket1, Maria Garcia de la Banda2, Kim Marriott2,
- From Zinc to Design Model Reza Rafeh, Maria Garcia de la Banda, Kim Marriott, and Mark Wallace
- The Design of the Zinc Modelling Language KIM MARRIOTT kim.marriott@infotech.monash.edu.au
- Global Analysis of Constraint Logic Programs M. GARCIA DE LA BANDA and M. HERMENEGILDO
- Herbrand Constraint Solving in HAL Bart Demoen
- INFORMS JOURNAL ON COMPUTING Vol. 00, No. 0, Xxxxx 0000, pp. 000000
- Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming
- The G12 Project: Mapping Solver Independent Models to Efficient Solutions
- An Overview of HAL Bart Demoen 1 , Maria Garc a de la Banda 2 , Warwick Harvey 2 , Kim Marriott 2 ,
- To the Gates of HAL: a HAL tutorial Mar a Garc a de la Banda 1 , Bart Demoen 2 , Kim Marriott 1 , and Peter J.
- Extending Arbitrary Solvers with Constraint Handling Gregory J. Duck
- Mode Checking in HAL Mar a Garc a de la Banda 1 , Peter J. Stuckey 2 , Warwick Harvey 1 , and Kim
- Optimization of Logic Programs with Dynamic Scheduling
- Compiling Ask Constraints Gregory J. Duck 1 , Mara Garca de la Banda 2 , and Peter J. Stuckey 1
- Under consideration for publication in Theory and Practice of Logic Programming 1 The Refined Operational Semantics of
- The Modelling Language Zinc Maria Garcia de la Banda, Kim Marriott, Reza Rafeh, and Mark Wallace
- Building Constraint Solvers with HAL Mar a Garc a de la Banda 1 , David Je ery 1 , Kim Marriott 1 , Nicholas
- Optimizing Compilation of Constraint Handling Rules
- Type Constraint Solving for Parametric and Adhoc Polymorphism
- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 DIFFERENTIAL METHODS IN LOGIC
- The Refined Operational Semantics of Constraint Handling Rules
