ACL RD-TEC 1.0 Summarization of P90-1023
Paper Title:
LAZY UNIFICATION
LAZY UNIFICATION
Primarily assigned technology terms:
- algorithm
- binary branching
- eager unification
- functional programming
- garbage collection
- graph unification
- incremental copying
- language processing
- lazy evaluation
- lazy unification
- link parser
- lisp implementation
- logic programming
- natural language processing
- natural language system
- nlp
- node creation
- node splitting
- non-destructive unification
- nondeterministic parsing
- optimization
- optimization technique
- parser
- parsers
- parsing
- processing
- searching
- splitting
- structure sharing
- structure-sharing
- theorem proving
- unification
- unification algorithm
- visualization
Other assigned terms:
- approach
- case
- concept
- data structure
- data structures
- debugging
- fact
- formalisms
- grammar
- grammar formalisms
- grammar rules
- implementation
- interpretation
- invocation
- leaf
- lexical entries
- lexical entry
- lexical items
- lexicon
- lisp
- logic
- message
- natural language
- parse
- parse time
- predicates
- procedure
- process
- root node
- sentences
- statistics
- technique
- theorem
- unification-based grammar
