On Compilation of the Quick-Check Filter for Feature Structure Unification.
Liviu-Virgil Ciortuz · 2001
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...