- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 04 Sep 2007 16:17:40 -0500
- To: Marc de Graauw <marc@marcdegraauw.com>
- Cc: 'David Orchard' <dorchard@bea.com>, 'www-tag' <www-tag@w3.org>
On Wed, 2007-08-29 at 17:49 +0200, Marc de Graauw wrote: [...] > The full formalization is available at: > http://www.marcdegraauw.com/2007/08/29/axioms-of-versioning/ I took a look; it does look coherent, though it might take a lot of examples to motivate that much detail/complexity. I'm mulling it over. > (Printer friendly: > http://www.marcdegraauw.com/files/axiomsofversioning.html) > > | Can we weaken the definition and effectively say it's language > | dependent? > | > | "I1 is compatible with I2 in a language specific manner such > | that is not > | generalizable." > > I don't know if this is a good idea - often language specs do not contain > formalisms to establish compatibility, so wouldn't this leave compatibility > undefined? It would leave it perhaps a bit less formalized, but not completely undefined. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Tuesday, 4 September 2007 21:17:58 UTC