FliPpr: A System for Deriving Parsers from Pretty-Printers

Kazutaka Matsuda; Meng Wang

doi:10.1007/s00354-018-0033-7

FliPpr: A System for Deriving Parsers from Pretty-Printers

Kazutaka Matsuda^*, Meng Wang

^*Corresponding author for this work

Algorithms and Complexity

Research output: Contribution to journal › Article (Academic Journal) › peer-review

8 Citations (Scopus)

327 Downloads (Pure)

Abstract

When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations.

Original language	English
Pages (from-to)	173-202
Number of pages	30
Journal	New Generation Computing
Volume	36
Issue number	3
Early online date	27 Aug 2018
DOIs	https://doi.org/10.1007/s00354-018-0033-7
Publication status	Published - 2018

Research Groups and Themes

Programming Languages

Keywords

Domain specific language
Language design
Parsing
Pretty-printing
Program inversion
Program transformation

Access to Document

10.1007/s00354-018-0033-7

Full-text PDF (accepted author manuscript)
This is the author accepted manuscript (AAM). The final published version (version of record) is available online via Springer at https://link.springer.com/article/10.1007%2Fs00354-018-0033-7 . Please refer to any applicable terms of use of the publisher.
Accepted author manuscript, 688 KB

Handle.net

Persistent link

Cite this

@article{b6ea87c05c4e40c4aed3cbee233d18e2,

title = "FliPpr: A System for Deriving Parsers from Pretty-Printers",

abstract = "When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations.",

keywords = "Domain specific language, Language design, Parsing, Pretty-printing, Program inversion, Program transformation",

author = "Kazutaka Matsuda and Meng Wang",

year = "2018",

doi = "10.1007/s00354-018-0033-7",

language = "English",

volume = "36",

pages = "173--202",

journal = "New Generation Computing",

issn = "0288-3635",

publisher = "Springer Japan",

number = "3",

}

TY - JOUR

T1 - FliPpr

T2 - A System for Deriving Parsers from Pretty-Printers

AU - Matsuda, Kazutaka

AU - Wang, Meng

PY - 2018

Y1 - 2018

N2 - When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations.

AB - When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations.

KW - Domain specific language

KW - Language design

KW - Parsing

KW - Pretty-printing

KW - Program inversion

KW - Program transformation

UR - http://www.scopus.com/inward/record.url?scp=85052667235&partnerID=8YFLogxK

U2 - 10.1007/s00354-018-0033-7

DO - 10.1007/s00354-018-0033-7

M3 - Article (Academic Journal)

AN - SCOPUS:85052667235

SN - 0288-3635

VL - 36

SP - 173

EP - 202

JO - New Generation Computing

JF - New Generation Computing

IS - 3

ER -

FliPpr: A System for Deriving Parsers from Pretty-Printers

Abstract

Research Groups and Themes

Keywords

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this