Compiling HPSG type constraints into definite clause programs
<|reference_start|>Compiling HPSG type constraints into definite clause programs: We present a new approach to HPSG processing: compiling HPSG grammars expressed as type constraints into definite clause programs. This provides a clear and computationally useful correspondence between linguistic theories and their implementation. The compiler performs off-line constraint inheritance and code optimization. As a result, we are able to efficiently process with HPSG grammars without having to hand-translate them into definite clause or phrase structure based systems.<|reference_end|>
@article{goetz1995compiling,
    title={Compiling HPSG type constraints into definite clause programs},
    author={Thilo Goetz and Walt Detmar Meurers (SFB 340, Univ. Tuebingen)},
    journal={Proceedings of ACL-95},
    year={1995},
    archivePrefix={arXiv},
    eprint={cmp-lg/9505003},
    primaryClass={cmp-lg cs.CL}
}