high level language design. diff

cnichiti@ens.ens-lyon.fr cnichiti@ens.ens-lyon.fr
Thu, 5 Dec 1996 16:00:32 +0100 (MET)


only a small remark about the diff utility
(the one which would test that two representations have the
same semantics 'up to isomorphism')...

there is again a decidability problem for little tiny funny 
recursive definitions, right ? :)

so a perfect diff won't really exist... how would you plan to 
go around that ?


Codrin