FliPpr: A Prettier Invertible Printing System

Matsuda, Kazutaka and Wang, Meng (2013) FliPpr: A Prettier Invertible Printing System. In: 22nd European Symposium on Programming. pp. 101-120. ISBN 978-3-642-37035-9. E-ISBN 978-3-642-37036-6. (doi:https://doi.org/10.1007/978-3-642-37036-6_6) (Full text available)

PDF - Author's Accepted Manuscript
Download (299kB) Preview
Official URL


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.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Meng Wang
Date Deposited: 01 Mar 2015 00:26 UTC
Last Modified: 17 Jan 2017 15:16 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/47479 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year