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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:47:47 GMT