Constraint Solving by Martine Ceberio


Declarative Languages Group

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

This group is involved in a continual effort to develop and experiment with new programming languages primus kostenlos downloaden. 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 schilder zum herunterladen.

  • People:
    • Peter Stuckey (
  • 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 herunterladen.