Unification with lazy non-redundant copying

Martin C. Emele
1991 Proceedings of the 29th annual meeting on Association for Computational Linguistics -  
This paper presents a unification procedure which eliminates the redundant copying of structures by using a lazy incremental copying appr0a~:h to achieve structure sharing. Copying of structures accounts for a considerable amount of the total processing time. Several methods have been proposed to minimize the amount of necessary copying. Lazy Incremental Copying (LIC) is presented as a new solution to the copying problem. It synthesizes ideas of lazy copying with the notion of chronological
more » ... ferencing for achieving a high amount of structure sharing.
doi:10.3115/981344.981386 dblp:conf/acl/Emele91 fatcat:bqyuyvdrtnf5padvb5s4nrnmku