FliPpr: A Prettier Invertible Printing System
Paper i proceeding, 2013
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.
Författare
Kazutaka Matsuda
Meng Wang
Chalmers, Data- och informationsteknik, Programvaruteknik
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7792 LNCS 101-120978-3-642-37035-9 (ISBN)
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-642-37036-6_6
ISBN
978-3-642-37035-9