Paper AGeneralized LRParser Generator For Haskell
Merijn
This paper is available in
ps
and
pdf.
Abstract
Current parser generator technology for functional programming is not sufficient for applications in which the language to be parsed is under development. These areas include language prototyping and reverse engineering. Such areas require language technology that (1) handles the full class of context-free grammars, and (2) accepts grammars that contain syntactic information only. The syntax definition formalism SDF combined with generalized LR-parser generation offers such technology. We have defined a tool and a domain specific language, HASDF, which integrates SDF and GLR parser generation with Haskell. In HASDF the concrete syntax of an arbitrary context-free language can be defined in combination with the Haskell data types that represent its abstract syntax. The +hasdf+ tool then generates a parser and an unparser which can be used in combination with a Haskell program.BibTeX entry
Failed to include URL http://www.cs.uu.nl/wiki/pub/Merijn/PaperAGeneralizedLRParserGeneratorForHaskell/SEN-R9902.bib
CategoryPapers
-- MerijnDeJonge - 07 Apr 2003