See this document in CiteSeerX!

How To Obtain Powerful Parsers That Are Elegant and Practical (2004)  (Make Corrections)  
P. Pepper



  Home/Search   Context   Related

 
View or download:
cs.tuberlin.de/cs/ifb/A...TR2004_01.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.tuberlin.de...hnBerichteListe (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Most of the functional parsers published today focus on elegance. But they pay for this elegance by neglecting practical requirements such as eciency and decent error handling. By contrast, a traditional parser (generator) based on LL- or LR-principles focuses on eciency and neglects issues such as elegance and understandability almost entirely. In this paper we combine these pragmatic issues with the desire for elegance, using techniques from the realms of functional programming and... (Update)

Active bibliography (related documents):   More   All
0.7:   LR Parsing = Grammar Transformation + LL Parsing - Making LR.. - Pepper (1999)   (Correct)
0.6:   Parsec: A practical parser library - Leijen, Meijer (2001)   (Correct)
0.5:   Parsec, a Fast Combinator Parser - Leijen   (Correct)

Similar documents based on text:   More   All
0.2:   Colimits for Concurrent Collectors - Pavlovic, Pepper, Smith   (Correct)
0.1:   Efficient data store discovery in a scientific P2P network - Löser, Wolpers, Siberski.. (2003)   (Correct)
0.1:   A Characterization of the Stochastic Process Underlying.. - Ciardo, German.. (1994)   (Correct)

BibTeX entry:   (Update)

@misc{ pepper-how,
  author = "P. Pepper",
  title = "How To Obtain Powerful Parsers That Are Elegant and Practical",
  url = "citeseer.ist.psu.edu/pepper04how.html" }
Citations (may not include all citations):
1399   Compilers: Principles (context) - Aho, Sethi et al. - 1985
220   Formal Languages (context) - Salomaa - 1973
112   Initial algebra semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
65   Higher-order functions for parsing - Hutton - 1992
58   the translation of languages from left to right (context) - Knuth - 1965
29   Science of Computer Programming (context) - Hughes, to - 2000
28   Monadic parser combinators - Hutton, Meijer - 1993
20   error correcting combinator parsers (context) - Swierstra, Duponcheel - 1996
12   Program derivation by xed point computation (context) - Cai, Paige - 1988
11   error correcting parser combinators: a short tutorial (context) - Swierstra, Alcocer - 1999
10   The Logic of Scienti c Discovery (context) - Popper - 1980
9   Funktionale Programmierung in opal (context) - Pepper - 1999
8   Combinators for parsing expressions (context) - Hill - 1996
7   Recognition of context-free languages in time n (context) - Younger - 1967
5   Parsec: direct style monadic parser combinators for the real.. - Leijen, Meijer - 2001
3   Predictive parser combinators need four values to report err.. (context) - Partridge, Wright - 1996
3   Ecient combinator parsers (context) - Koopman, Plasmeijer - 1999
2   An ecient recognition and syntax analysis algorithm for cont.. (context) - Kasami - 1965
1   LR Parsing = Grammar Transformation + LL Parsing (context) - Pepper - 1999
1   Expression continuity and the formal di erentiation of algor.. (context) - Paige, Schwartz - 1977
1   A new parsing technique yielding a functional parser generat.. (context) - Tillmann - 2000

Documents on the same site (http://www.cs.tu-berlin.de/cs/ifb/TechnBerichteListe.html):   More
Compiler Support for Specification and Justification -.. - Didrich (1999)   (Correct)
A Taste of Categorical Petri Nets - Ermel, Martini (1996)   (Correct)
Action Nets and Abstract Statecharts in the Theory of.. - Ehrig, Gajewsky, Padberg (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC