Parser in ML - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

Parser in ML

Michel Mauny
Daniel de Rauglaudre
  • Fonction : Auteur

Résumé

We present the operational semantics of stream matching as discussed. Streams are data structures such as lists, but with different primitive operations. Streams not only provide an interface to usual input/ output channels, but may used as a data structure per se, holding any kind of element. A special pattern matching construct is dedicated to streams and the actual matching process will be called parsing. The primary parsing semantics that we propose here is predictive parsing, i.e. recursive descent semantics with a one token look-ahead: although this choice seems to restrict us to the recognition of LL(1) languages, we show by examples that full functionality and parameter passing allow us to write parsers for complex languages. The operational semantics of parsers is given by transforming parsers into regular functions. We introduce a non)strict semantics of streams by translating stream expressions into more classical data structures ; we also investigate different sharing mechanisms for some of the stream operations.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1659.pdf (825.76 Ko) Télécharger le fichier

Dates et versions

inria-00074898 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00074898 , version 1

Citer

Michel Mauny, Daniel de Rauglaudre. Parser in ML. [Research Report] RR-1659, INRIA. 1992. ⟨inria-00074898⟩
124 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More