Constraint Solving by Martine Ceberio


Australia

Declarative Languages Group

Address: Department of Computer Science and Software Engineering
University of Melbourne
Victoria, 3010
AUSTRALIA

This group is involved in a continual effort to develop and experiment with new programming languages. Most of the research that is being carried out at University of Melbourne is related to Constraint Programming, Logic Programming Techniques, Analysis and Transformation of Programs etc.

  • People:
    • Peter Stuckey (pjs+123@cs.mu.oz.au)
  • Links:
  • Projects:
    • HAL: is a strongly typed, weakly modeled, constraint logic/functional language designed to support the construction and extension and use of new constraints solvers being developed jointly at the University of Melbourne and Monash University.