-
We present a formal model for reasoning about version control. In particular, we give a general
definition of patch. Patches abstract over the data on which theyoperate, making our framework equally suited for version control of everything from highly-structured XML files to blobs of bits. -
History of VisualAge IDE
-
This is a Turing Machine implemented in Conway's Game of Life.
links for 2008-10-17
This entry was posted on 18/10/2008 (Saturday) at 1:01 am and is filed under 網路書簽. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.
Printed from: http://www.mingli-yuan.info/archives/255 .
© Mingli Yuan 2010.
© Mingli Yuan 2010.