TY - GEN
T1 - FliPpr
T2 - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
AU - Matsuda, Kazutaka
AU - Wang, Meng
PY - 2013
Y1 - 2013
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.
UR - http://www.scopus.com/inward/record.url?scp=84874426962&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84874426962&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-37036-6_6
DO - 10.1007/978-3-642-37036-6_6
M3 - Conference contribution
AN - SCOPUS:84874426962
SN - 9783642370359
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 101
EP - 120
BT - 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, Proceedings
Y2 - 16 March 2013 through 24 March 2013
ER -