Subject: constraint solver preview handout
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Wed Jul 24 2002 - 17:52:19 PDT
For those who are going to join the brainstorming session, I am attaching
the handout with some preliminaries. Please try to get some idea of how
the algorithm works based on my example. (It mostly works like Prolog
with some adjustments for transitivity of subtyping.)
Vass
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Wed Jul 24 2002 - 17:52:34 PDT