RT @intsuc: Precise Version Control of Trees with Line-Based Version Control Systems(https://t.co/puLclYxhR0) 木構造のdiff/mergeをテキスト(行)ベースのdif…
239 followers
908 followers
Precise Version Control of Trees with Line-Based Version Control Systems(https://t.co/puLclYxhR0) 木構造のdiff/mergeをテキスト(行)ベースのdiff/mergeアルゴリズムで計算するためのテキスト表現やアルゴリズムが提案されてる。
295 followers
@bblum0 https://t.co/3owFD2j4na I am unsure if the formalisms are all in this one, but Raymond Hu's work on this topic goes via model-checking of a bounded-buffer model which then generalizes to "any" -- under a bunch of constraints.
1,205 followers
New #UPCommons #Eprints Symbolic model generation for graph properties https://t.co/3SwEthoT85