@inproceedings{carpenter-1993-compiling,
title = "Compiling Typed Attribute-Value Logic Grammars",
author = "Carpenter, Bob",
booktitle = "Proceedings of the Third International Workshop on Parsing Technologies",
month = aug # " 10-13",
year = "1993",
address = "Tilburg, Netherlands and Durbuy, Belgium",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/1993.iwpt-1.5",
pages = "39--48",
abstract = {The unification-based approach to processing attribute-value logic grammars, similar to Prolog \textit{interpretation}, has become the standard. We propose an alternative, embodied in the Attribute-Logic Engine (ALE) (Carpenter 1993) , based on the Warren Abstract Machine (WAM) approach to compiling Prolog (A{\"\i}t-Kaci 1991). Phrase structure grammars with procedural attachments, similar to Definite Clause Grammars (DCG) (Pereira {---} Warren 1980), are specified using a typed version of Rounds-Kasper logic (Carpenter 1992). We argue for the benefits of a strong and total version of typing in terms of both clarity and efficiency. Finally, we discuss the compilation of grammars into a few efficient low-level instructions for the basic feature structure operations.},
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="carpenter-1993-compiling">
<titleInfo>
<title>Compiling Typed Attribute-Value Logic Grammars</title>
</titleInfo>
<name type="personal">
<namePart type="given">Bob</namePart>
<namePart type="family">Carpenter</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>1993-aug" 10-13"</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Proceedings of the Third International Workshop on Parsing Technologies</title>
</titleInfo>
<originInfo>
<publisher>Association for Computational Linguistics</publisher>
<place>
<placeTerm type="text">Tilburg, Netherlands and Durbuy, Belgium</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
</relatedItem>
<abstract>The unification-based approach to processing attribute-value logic grammars, similar to Prolog interpretation, has become the standard. We propose an alternative, embodied in the Attribute-Logic Engine (ALE) (Carpenter 1993) , based on the Warren Abstract Machine (WAM) approach to compiling Prolog (Aït-Kaci 1991). Phrase structure grammars with procedural attachments, similar to Definite Clause Grammars (DCG) (Pereira — Warren 1980), are specified using a typed version of Rounds-Kasper logic (Carpenter 1992). We argue for the benefits of a strong and total version of typing in terms of both clarity and efficiency. Finally, we discuss the compilation of grammars into a few efficient low-level instructions for the basic feature structure operations.</abstract>
<identifier type="citekey">carpenter-1993-compiling</identifier>
<location>
<url>https://aclanthology.org/1993.iwpt-1.5</url>
</location>
<part>
<date>1993-aug" 10-13"</date>
<extent unit="page">
<start>39</start>
<end>48</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T Compiling Typed Attribute-Value Logic Grammars
%A Carpenter, Bob
%S Proceedings of the Third International Workshop on Parsing Technologies
%D 1993
%8 aug" 10 13"
%I Association for Computational Linguistics
%C Tilburg, Netherlands and Durbuy, Belgium
%F carpenter-1993-compiling
%X The unification-based approach to processing attribute-value logic grammars, similar to Prolog interpretation, has become the standard. We propose an alternative, embodied in the Attribute-Logic Engine (ALE) (Carpenter 1993) , based on the Warren Abstract Machine (WAM) approach to compiling Prolog (Aït-Kaci 1991). Phrase structure grammars with procedural attachments, similar to Definite Clause Grammars (DCG) (Pereira — Warren 1980), are specified using a typed version of Rounds-Kasper logic (Carpenter 1992). We argue for the benefits of a strong and total version of typing in terms of both clarity and efficiency. Finally, we discuss the compilation of grammars into a few efficient low-level instructions for the basic feature structure operations.
%U https://aclanthology.org/1993.iwpt-1.5
%P 39-48
Markdown (Informal)
[Compiling Typed Attribute-Value Logic Grammars](https://aclanthology.org/1993.iwpt-1.5) (Carpenter, IWPT 1993)
ACL
- Bob Carpenter. 1993. Compiling Typed Attribute-Value Logic Grammars. In Proceedings of the Third International Workshop on Parsing Technologies, pages 39–48, Tilburg, Netherlands and Durbuy, Belgium. Association for Computational Linguistics.