Putback-based bidirectional programming allows the programmer to write only one backward transformation, from which the unique corresponding forward transformation is derived for free. A key distinguishing feature of putback-based bidirectional programming is full control over the bidirectional behavior, which is important for specifying intended bidirectional transformations without any ambiguity. In this chapter, we will introduce BiGUL, a simple yet powerful putback-based bidirectional programming language, explaining the underlying principles and showing how various kinds of bidirectional application can be developed in BiGUL.
CITATION STYLE
Hu, Z., & Ko, H. S. (2018). Principles and practice of bidirectional programming in BiGUL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9715 LNCS, pp. 100–150). Springer Verlag. https://doi.org/10.1007/978-3-319-79108-1_4
Mendeley helps you to discover research relevant for your work.