DMCA
On Compilation Of The Quick-Check Filter For Feature Structure Unification
by
Liviu Ciortuz
| Citations: | 1 - 1 self |
BibTeX
@MISC{Ciortuz_oncompilation,
author = {Liviu Ciortuz},
title = {On Compilation Of The Quick-Check Filter For Feature Structure Unification},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The quick-check (QC) technique introduced by [11] is a highly effective optimisation technique for filtering out the (eventually unsuccessful) unification of feature structures. This paper presents the compilation of the QC filter as it was designed and implemented in the Light compiler system [4]. (Light stands for LIGHT -- Logic, Inheritance, Grammars, Heads, and Types.) Up to our knowledge...
