ACL RD-TEC 1.0 Summarization of P93-1029
Paper Title:
F-PATR: FUNCTIONAL CONSTRAINTS FOR UNIFICATION-BASED GRAMMARS
F-PATR: FUNCTIONAL CONSTRAINTS FOR UNIFICATION-BASED GRAMMARS
Primarily assigned technology terms:
- algorithm
- approximation
- binding
- caching
- chart parser
- chart parsing
- chart parsing algorithm
- chart-parsing
- compiler
- computational linguistics
- functional programming
- lambda conversion
- linking
- nondestructive unification
- parser
- parsers
- parsing
- parsing algorithm
- programming language
- prolog
- sequence union
- unification
- unification process
Other assigned terms:
- applicative expression
- approach
- cache
- case
- community
- context-free grammar
- data structure
- data structures
- derivations
- disjunction
- fact
- feature
- feature structure
- feature structures
- feature value
- formalism
- formalisms
- free word order
- functional unification grammar
- grammar
- grammar formalism
- grammar formalisms
- grammar rules
- grammars
- hpsg
- implementation
- lambda
- lambda expression
- leaf
- linguistic
- linguistics
- lisp
- logic
- logic grammar
- mathematical notation
- natural languages
- negation
- paragraph
- permutation
- predicates
- process
- runtime
- subclass
- symbol
- syntax
- term
- terms
- unification grammar
- unification grammars
- unification-based grammar
- unification-based grammar formalism
- vocabulary
- word
- word order
- word sequences
- words
