Re: Automatic conversion



Re: Automatic conversion

From: Daniel Jackson ^lt;dnj@mit.edu>
Date: Fri 10 Mar 2006 - 18:18:32 GMT
Message-Id: <92278A0E-68EE-4B0D-BA16-1BCBDF0BA8D0@mit.edu>
For an alternative approach to the semantics of navigation, you may  
be interested in how we tackled the issue in Alloy.

It's explained in detail in my book coming out shortly

	http://www.amazon.com/gp/product/0262101149/sr=8-1/qid=1142014622/ 
ref=sr_1_1/002-2548929-3800052?%5Fencoding=UTF8

but you can get the basic ideas from the language reference manual  
online

	http://alloy.mit.edu/reference-manual.pdf

--Daniel
Received on Fri Mar 10 18:18:07 2006