Mímico: A monadic combinator parser generator

Journal of the Brazilian Computer Society

Volumn 9, Issue 1, 2003, Pages 27-40

  Camarão, Carlos ^a   Figueiredo, Lucília ^b   Rodrigues, Hermann ^a  

^a FEDERAL UNIVERSITY OF MINAS GERAIS   (Brazil)

^b FEDERAL UNIVERSITY OF OURO PRETO   (Brazil)

Author keywords

Compiler generation; Monadic parsing

Indexed keywords

ENCODING (SYMBOLS); MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; RECURSIVE FUNCTIONS; SEMANTICS; SOFTWARE ENGINEERING;

COMPILER GENERATION; HASKELL CODE; MONADIC PARSING;

PROGRAM COMPILERS;

EID: 18444393737     PISSN: 01046500     EISSN: None     Source Type: Journal    
DOI: 10.1590/S0104-65002003000200004     Document Type: Article

References (18)

1. Ravi Sethi Alfred V. Aho and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
2. Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 1998. 2nd ed.
3. Carlos Camarão and Lucília Figueiredo. A Monadic Combinator Compiler Compiler. In Proc. SBLP'2001 (V Brazilian Symposium on Programming Languages), pages 64-79, 2001.
4. M.T. Chakravarty. Lazy Lexing is Fast. In Fourth Fuji International Symposium on Functional and Logic Programming (LNCS 1722, Springer-Verlag), 1999.
5. Andy Gill and Simon Marlow. Happy: The Parser Generator for Haskell. http://haskell.org/happy/, 2000.
6. Graham Hutton. Higher-order functions for parsing. Journal of Functional Programming, 2:232-343, 1992.
7. Graham Hutton and Erik Meijer. Monadic parser combinators. Tech. rep. NOTTCS-TR-96-4, 1996.
8. P. Lee. Realistic Compiler Generation. MIT Press, 1989.
9. Daan Leijen. Parsec. http://www.cs.ruu.nl/~daan/parsec.html.
10. John R. Levine, Tony Mason, and Doug Brown. Lex & Yacc. O'Reilly & Associates, 1992.
11. Alexandre Macedo and Hermano Moura. Investigating Compiler Generation Systems. In Proc. SBLP'2000 (IV Brazilian Symposium on Programming Languages), pages 259-266, 2000.
12. Terence Parr and Russell Quong. Adding semantic and syntactic predicates to ll(k): pred-ll(k). In Proceeding of the International Conference on Compiler Construction, 1994.
13. Terence Parr and Russell Quong. Antlr: A predictive-ll(k) parser generator. Software - Practice and Experience, 25(7):789-810, 1995.
14. S.D. Swierstra. Parser Combinators, from Toys to Tools. In ACM SIGPLAN Haskell Workshop, pages 113-128, 2000.
15. Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 1999. second edition.
16. Philip Wadler. How to replace a failure with a list of successes. In Functional Programming Languages and Architecture, LNCS 201, pages 113-128, 1985.
17. Philip Wadler. Comprehending Monads. Mathematical Structures in Computer Science, 2(4):461-493, 1990.
18. Philip Wadler. Monads for Functional Prograrnming. Computer and Systems Sciences, 118, 1992.