Re: Semantics101, 2 and 3

OK. For what its worth here is a published denotational semantics for 
the CLIX language ... [102]

C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein, "xlinkit: A 
Consistency Checking and Smart Link Generation Service," ACM 
Transactions on Internet Technology, vol. 2, pp. 151-185, 2002.

http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/acmxlinkit.pdf

Anthony
-- 
_________________________________________________________________________

Anthony Finkelstein
Systemwire
Director of Strategy

TEL: +44 (0)20 7679 7293 (Direct Dial)
MOB: +44 (0)7771 813981
EMAIL: anthony@systemwire.com
WEB: http://www.systemwire.com

_________________________________________________________________________

Received on Tuesday, 14 June 2005 08:42:46 UTC