1![Bidirectionalization for Free! Janis Voigtl¨ ander Technische Universit¨ at Dresden Bidirectionalization for Free! Janis Voigtl¨ ander Technische Universit¨ at Dresden](https://www.pdfsearch.io/img/800e57d4ae003f3b98eca53a24ddaccc.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.eu- Date: 2016-08-24 08:10:28
|
---|
2![Complement-Based Bidirectionalization J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx” Complement-Based Bidirectionalization J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx”](https://www.pdfsearch.io/img/8db42d58addc12bda7a7eb057379beac.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.eu- Date: 2016-08-24 08:10:28
|
---|
3![Combining Syntactic and Semantic Bidirectionalization J. Voigtl¨ander1 Z. Hu2 K. Matsuda3 M. Wang4 1 University 2 NII Combining Syntactic and Semantic Bidirectionalization J. Voigtl¨ander1 Z. Hu2 K. Matsuda3 M. Wang4 1 University 2 NII](https://www.pdfsearch.io/img/ff67c310aa9e34c943936f4b93cabc41.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.eu- Date: 2016-08-24 08:10:28
|
---|
4![Semantic Bidirectionalization and the Constant-Complement Perspective Janis Voigtl¨ander University of Bonn BT-in-ABC’10 Semantic Bidirectionalization and the Constant-Complement Perspective Janis Voigtl¨ander University of Bonn BT-in-ABC’10](https://www.pdfsearch.io/img/61df467d5013491d06e6ab60911bd560.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.eu- Date: 2016-08-01 05:50:10
|
---|
5![Efficiency of Bidirectional Transformations J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx” Efficiency of Bidirectional Transformations J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx”](https://www.pdfsearch.io/img/1fc3f7f993a5a1b36c0077f3873ad645.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
6![Ideas for Connecting Inductive Program Synthesis and Bidirectionalization Janis Voigtl¨ander University of Bonn Ideas for Connecting Inductive Program Synthesis and Bidirectionalization Janis Voigtl¨ander University of Bonn](https://www.pdfsearch.io/img/f66ccf8b4559942e1d18c290c124ae32.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:11
|
---|
7![Bidirectionalization for Free with Runtime Recording Or, a Light-Weight Approach to the View-Update Problem Kazutaka Matsuda* Meng Wang** Bidirectionalization for Free with Runtime Recording Or, a Light-Weight Approach to the View-Update Problem Kazutaka Matsuda* Meng Wang**](https://www.pdfsearch.io/img/47e4bd373b84d63d7635ed8099840fa7.jpg) | Add to Reading ListSource URL: www2.sf.ecei.tohoku.ac.jpLanguage: English - Date: 2013-09-18 08:32:06
|
---|
8![Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu*, Keisuke Nakano* Makoto Hamana**, Masato Takeichi* Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu*, Keisuke Nakano* Makoto Hamana**, Masato Takeichi*](https://www.pdfsearch.io/img/4b97441df1ff0ddb9828914aa1d84f85.jpg) | Add to Reading ListSource URL: www2.sf.ecei.tohoku.ac.jpLanguage: English - Date: 2013-05-31 02:47:36
|
---|
9![MATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions MATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions](https://www.pdfsearch.io/img/6b685aab45e668a7d5d14aac2d0e7871.jpg) | Add to Reading ListSource URL: www.keisu.t.u-tokyo.ac.jpLanguage: English - Date: 2007-07-24 03:01:52
|
---|
10![Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda† Zhenjiang Hu† Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda† Zhenjiang Hu†](https://www.pdfsearch.io/img/bfeb6508dcd458988f237003aea25f6e.jpg) | Add to Reading ListSource URL: www.cs.gunma-u.ac.jpLanguage: English - Date: 2008-05-14 16:47:26
|
---|