Re: Inherited attributes in available LALR parser generators?

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.
--

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