L.-V. Ciortuz. Scaling up the abstract machine for uni cation of OSF-terms to do head-corner parsing with large-scale typed uni cation grammars. In Proceedings of the ESSLLI 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Specialised Compilation of Rules in Unification Grammars - Ciortuz Self-citation (Ciortuz) (Correct)
....SPECIALISED COMPILATION OF RULES IN UNIFICATION GRAMMARS Liviu Ciortuz Computer Science Department University of York Heslington, York, YO10 5DD, UK ciortuz cs.york.ac. uk One central concept in our approach to compiled parsing with feature based uni cation grammars in the Light system [2] is the specialised compiled form of rules, which is obtained via transformation of the abstract code generated by the OSF AM [1] for rules represented as feature structures. Like Amalia [10] the Light system has specialised abstract instructions to implement the (compiled) parsing. But the ....
....code can be easily get following the guidelines in [1] while its specialised compiled form in Light is given in below. vp [ ARGS verb [ HEAD #1, OBJECT #3:np, SUBJECT #2:sign ] #3 , HEAD #1, SUBJECT #2 ] vp: set corefs, 3, 4, 5 cond E = 1, jump R3 R0: ARG1 S1 set X[2], Q intersect sort X[2] verb test feature X[2] HEAD, X[3] 3, W3, verb R1: test feature X[2] OBJECT, X[4] 3, W4, verb intersect sort X[4] np R2: test feature X[2] SUBJECT, X[5] 3, W5, verb jump W6 S2 R3: ARG2 restoreEnv E S3 cond unify( X[4] Q ) FALSE, Failure R5:jump W0 ....
[Article contains additional citation context not shown here]
L.-V. Ciortuz. Scaling up the abstract machine for uni cation of OSF-terms to do head-corner parsing with large-scale typed uni cation grammars. In Proceedings of the ESSLLI 2000.
On Specialised Compilation of Rules for Head-Corner Bottom-Up.. - Ciortuz Self-citation (Ciortuz) (Correct)
....grammars. A recent work [17] presented some of the most advanced results concerning parsing with large scale HPSG grammars [19] notably the LinGO grammar [11] for English developed at CSLI, University of Stanford. In the meantime, while still under development, our ABC Light compiler [7], designed to do head corner parsing with feature constraint based grammars, provided on LinGO parsing results which are competitive with the best results reported in [17] With respect to the the parsing issue itself, the systems dealing with LinGO like grammars divide into two categories: 1. ....
.... machine designed for OSF uni cation [2] we will call it OSF AM in the sequel) The code produced by Light AM is further translated down into C in a similar manner to the wamcc approach [10] Extending the OSF AM so to perform OSF theory uni cation was the rst main task in building our system [7]. Like Amalia, the ABC Light system has specialised abstract instructions to implement the (compiled) parsing. The parser we implemented for Light is signi cantly more general than that in Amalia: it is a head corner bottom up chart based parser (Amalia s parser is a simple bottom up ....
L. Ciortuz. Scaling up the abstract machine for uni cation of OSF-terms to do head-corner parsing with large-scale typed uni cation grammars. In Proceedings of the ESSLLI 2000 Workshop on Linguistic Theory and Grammar Implementation, pages 57-80, Birmingham, UK, 2000. Downloadable from http://ling.osu.edu/ dm/events/esslli00/proceedings/index.html.
On Compilation Of The Quick-Check Filter For Feature Structure.. - Ciortuz Self-citation (Ciortuz) (Correct)
....The quick check (QC) technique introduced by [11] is a highly e ective optimisation technique for ltering out the (eventually unsuccessful) uni cation of feature structures. This paper presents the compilation of the QC lter 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, it is the rst attempt to incorporate this pre uni cation speed up technique in a compiler system dealing with large scale typed uni cation grammars, and what makes this work interesting is ....
L. Ciortuz. Scaling up the abstract machine for uni cation of OSF-terms to do head-corner parsing with large-scale typed uni cation grammars. In Proceedings of the ESSLLI 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC