Three Complementary Approaches to Bidirectional Programming

by Nate Foster , Kazutaka Matsuda , Janis Voigtländer
Citations:1 - 1 self

Documents Related by Co-Citation

156 Fundamental concepts in programming languages – C Strachey - 1967
6 Comments on Bancilhon and Spyratos’ ‘Update semantics and relational views – A M Keller - 1987
40 Categories of Containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani - 2003
17 The essence of the Iterator pattern – Jeremy Gibbons, Bruno C. D. S. Oliveira - 2006
6 Context-Moving Transformations for Function Verification – Jürgen Giesl - 1999
2 Deaccumulation Techniques for Improving Provability ∗ – Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
2 Bidirectionalizing programs with duplication through complementary function derivation – K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi - 2009
1 Ideas for Connecting Inductive Program Synthesis and Bidirectionalization – Janis Voigtländer
1 Bidirectionalization for free with runtime recording – K Matsuda, M Wang - 2013
1 Available at: http://journal.ub.tu-berlin.de/eceasst/issue/view/59 Pettorossi, A – Softw Sci Technol - 1977
60 A Semantics for Shape – C. Barry Jay - 1995
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
326 Theorems for free! – Philip Wadler - 1989
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
182 Update semantics of relational views – F. Bancilhon, N. Spyratos - 1981
70 Properties and update semantics of consistent views – G GOTTLOB, P PAOLINI, R ZICARI - 1988
32 A Programmable Editor for Developing Structured Documents Based on Bidirectional Transformations – Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi - 2004
92 98 Language and Libraries: The Revised Report – Peyton Jones, S Haskell - 2003
118 Combinators for bi-directional tree transformations: A linguistic approach to the view update problem – J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt - 2005