W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

Re: [PRD] Safeness definition in flux again... (further notice)

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Tue, 2 Jun 2009 22:16:38 +0200
To: Christian De Sainte Marie <csma@fr.ibm.com>
Cc: RIF <public-rif-wg@w3.org>
Message-ID: <OFFA9349FB.5D0DB1FB-ONC12575C9.006CF99A-C12575C9.006F628C@fr.ibm.com>
********* NOTICE **********
My new email address at IBM is: csma@fr.ibm.com
My ILOG email address will not be forwarded after June 8
*****************************

Christian De Sainte Marie/France/Contr/IBM wrote on 02/06/2009 21:23:48:
> 
> Trying more examples, I found out that my simplification of the 
> definitions of UBV and CBV had been a bit too drastic, and that I 
> droped into unsafeness a case where there was still some hope :-(

One should never jump too fast to conclusions, esp. after 9pm and a long 
day's work: that's not my definition that was wrong, it's my analysis of 
the example.

I edited out my started attempt at correcting a non-existent bug, and the 
spec if open again to review (I did not rollback, because Harold and Chris 
seem to be editing the doc)..

Cheers,

Christian

ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10


Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430
Received on Tuesday, 2 June 2009 20:17:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 20:17:19 GMT