12 Aug
2010
12 Aug
'10
2:45 p.m.
2010/8/8 Stephen Tetley
Maybe this paper is close?
Type-safe diff for families of datatypes Eelco Lempsink Sean Leather Andres Löh
Thanks a lot! Just what I need.. and more trickier than I thought. They represent any ADT as a tree and use diff algorithm for trees to build 'EditScripts' - list of operations to transform src data to dest one. -- Sergey