FliPpr: a prettier invertible printing system. 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 for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert: Fundamentals of reversible flowchart languages (2016)
- Felleisen, Matthias (ed.); Gardner, Philippa (ed.): Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings (2013)
- Matsuda, Kazutaka; Wang, Meng: FliPpr: a prettier invertible printing system (2013)