(Enter summary)
Abstract: This paper presents a unification procedure
which eliminates the redundant
copying of structures by using a lazy incremental
copying approach 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... (Update)
Similar documents based on text: More All
2.5: Unification With Lazy Non-Redundant Copying - Martin Emele Project (1991)
(Correct)
0.5: Quasi-Destructive Graph Unification with Structure-Sharing - Tomabechi (1992)
(Correct)
0.4: Quasi-Destructive Graph Unification - Tomabechi (1991)
(Correct)
Related documents from co-citation: More All
5: A structure-sharing representation for unification-based grammar formalisms
- Pereira - 1985
4: An algebraic semantics approach to the effective resolution of type equations (context) - At-Kaci - 1986
4: An Introduction to Unification--Based Approaches to Grammar (context) - Stuart - 1986
BibTeX entry: (Update)
Emele, M. C. (1991) Unification with Lazy Non-Redundant Copying. In Proceedings of 29th Annual Meeting of the Association for Computational Linguistics, 323--330. Berkeley, CA. http://citeseer.ist.psu.edu/article/emele91unification.html More
@inproceedings{ emele91unification,
author = "Martin C. Emele",
title = "Unification with Lazy Non-Redundant Copying",
booktitle = "Meeting of the Association for Computational Linguistics",
pages = "323-330",
year = "1991",
url = "citeseer.ist.psu.edu/article/emele91unification.html" }
Citations (may not include all citations):
395
An Abstract Prolog Instruction Set (context) - Warren - 1983
243
An Introduction to Unification-based Approaches to Grammar (context) - Shieber - 1986
45
A complete logical calculus for record structures representi.. (context) - Rounds, Kasper - 1986
35
An algebraic semantics approach to the effective resolution .. (context) - Ait-Kaci - 1986
30
Typed unification grammars (context) - Emele, Zajac - 1990
30
The sharing of structures in theorem-proving programs (context) - Boyer, Moore - 1972
25
A structuresharing representation for unification-based gram..
- Pereira - 1985
24
The semantics of grammar formalisms seen as computer languag..
- Pereira, Shieber - 1984
23
ese de Doctorat d (context) - Huet, dans et al. - 1976
14
A Lattice Theoretic Approach to Computation based on a Calcu.. (context) - Ait-Kaci - 1984
14
Nondestructive graph unification (context) - Wroblewski
13
PATR: A Development Environment for Unification-Based Gramma.. (context) - Karttunen - 1986
12
CSLI Lecture Notes No (context) - Pollard, Sag et al. - 1987
10
Structure sharing with binary trees (context) - Karttunen, Kay - 1985
9
Lazy unification (context) - Godden - 1990
8
An Algorithm for testing the Equivalence of Finite Automata (context) - Hopcroft, Karp - 1971
8
Strategic lazy incremental copy graph unification
- Kogure - 1990
2
Graph Unification using Lazy Non-Redundant Copying (context) - Emele - 1991
2
A fix-point semantics for feature type systems (context) - Emele, Zajac - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www2.ims.uni-stuttgart.de/~emele/papers.html):
TFS - The Typed Feature Structure Representation Formalism - Emele (1994)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC