Re: Inherited attributes in available LALR parser generators?

bombadil@diku.dk (Kristian Nielsen)
Thu, 14 Oct 1993 14:59:52 GMT

          From comp.compilers

Related articles
Inherited attributes in available LALR parser generators? sperber@midi.informatik.uni-tuebingen.de) (1993-10-06)
Re: Inherited attributes in available LALR parser generators? parrt@s1.arc.umn.edu (Terence Parr) (1993-10-07)
Re: Inherited attributes in available LALR parser generators? torbenm@diku.dk (1993-10-08)
Re: Inherited attributes in available LALR parser generators? sperber@midi.informatik.uni-tuebingen.de (1993-10-09)
Re: Inherited attributes in available LALR parser generators? sassa@is.titech.ac.jp (Masataka Sassa 202 3228) (1993-10-13)
Re: Inherited attributes in available LALR parser generators? bombadil@diku.dk (1993-10-14)
| List of all articles for this month |

Newsgroups: comp.compilers
From: bombadil@diku.dk (Kristian Nielsen)
Keywords: attribute, LALR, bibliography
Organization: Department of Computer Science, U of Copenhagen
References: 93-10-035 93-10-044
Date: Thu, 14 Oct 1993 14:59:52 GMT

torbenm@diku.dk (Torben AEgidius Mogensen) writes:


>generates purely functional parsers (also in Gofer). Even though the
>sematic value of a production is a function of the attributes of its
>right-hand side (and thus apparently purely synthesized), inherited
>attributes are easily simulated by using higher order functions. An


This method for handling inherited attributes in lazy functional
programming languages is also used in FPG for Lazy ML.


The method is discussed in the following two papers:


          @incollection{E20,
          Author = {Thomas Johnsson},
          Title = {Attribute {G}rammars and {F}unctional {P}rogramming},
          Editor = {Gilles Kahn},
          Booktitle = {FPCA'87, Portland, Oregon},
          Series = {LNCS},
          Volume = 274,
          Pages = {154--173},
          Publisher = {Springer-Verlag},
          Month = {Sept.},
          Year = 1987}


          @techreport{E30,
          Author = {G\"{o}ran O Uddeborg},
          Title = {A {F}unctional {P}arser {G}enerator},
          Number = 43,
          Type = {Tech. {R}ep.},
          Institution = {Dept. of Comp. Sc., Univ. of G{\"o}teborg, Chalmers
           Univ. of Tech.},
          Month = {Feb.},
          Year = 1988}


The latter paper is also available with the Chalmers Haskell/LML
compiler.


- Kristian.
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.