SciELO - Scientific Electronic Library Online

 
vol.9 issue1Constructing recursions by similarityQuality of service in Ad Hoc 802.11 networks author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Journal of the Brazilian Computer Society

Print version ISSN 0104-6500

Abstract

CAMARAO, Carlos; FIGUEIREDO, Lucilia  and  RODRIGUES, Hermann. Mímico: a monadic combinator parser generator. J. Braz. Comp. Soc. [online]. 2003, vol.9, n.1, pp. 27-40. ISSN 0104-6500.  http://dx.doi.org/10.1590/S0104-65002003000200004.

This article describes a compiler generator, called Mímico, that outputs code based on the use of monadic combinators. Mímico can parse infinite look-ahead and left-recursive context free grammars and defines a scheme for handling the precedence and associativity of binary infix operators, and monadic code in semantic rules. Mímico provides an easy way of specifying the syntax and semantics of languages, and generates readable output in the form of Haskell programs. The article presents Mímico's general principles, its formal syntax and semantics, its limitations and illustrative examples of its behaviour.

Keywords : Compiler generation; monadic parsing.

        · text in English     · pdf in English