From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:54 +0100
Subject: PEM: Joost Visser | HASDF: A Generalized LR Parser Generator for Haskell | 26.11.98

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting | 26.11.98 | M2.79, CWI 
Precedence: bulk
X-url: http://www.cwi.nl/~pem
Mime-Version: 1.0
Content-Type: text/plain;
        charset="iso-8859-1"

   Dear Environmentalists,

   This  week,  Joost Visser will talk about using the parsing technology
   from the Meta-Environment with other languages than ASF.

   This announcement can be found at <http://www.cwi.nl/~pem>

            HASDF: A Generalized LR Parser Generator for Haskell

   Date:    26.11.98
   Time:    10:00
   Venue:   M2.79, CWI
   Speaker: Joost Visser
   Title:   HASDF: A Generalized LR Parser Generator for Haskell

   [joint work with Merijn de Jonge and Tobias Kuipers]

   Parse  trees  which  are  produced  by  parsers  generated from syntax
   definitions in the ASF+SDF Meta-Environment, are generally manipulated
   by  rules  (equations)  written  in  ASF.  This is not always the most
   appropriate  language  to  manipulate  the  parse  tree  with. We have
   experimented with using Haskell to manipulate parse trees.

   Combining  Haskell  datatype  definitions  with  the syntax definition
   formalism  SDF,  we  have  designed  HASDF.  This is a special-purpose
   language  in  which  the  concrete syntax of an arbitrary context-free
   language  L can be specified in combination with the Haskell datatypes
   that  represent  the  abstract  syntax  of  L.  We  have augmented the
   existing  generalized  LR-parser generator in such a way that it takes
   HASDF  as  input.  The  generated parser, as well as the corresponding
   unparser  that  is  also  generated,  can  interoperate  with  Haskell
   programs.
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________