Bidirectionalization - PDFSEARCH.IO - Document Search Engine

Bidirectionalization
Results: 15

#	Item
1	Bidirectionalization for Free! Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source 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” Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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” Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Bidirectionalization Database theory Bidirectional transformation Constructible universe
6	Ideas for Connecting Inductive Program Synthesis and Bidirectionalization Janis Voigtl¨ander University of Bonn Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 F1 ACM Transactions on Database Systems
7	Bidirectionalization for Free with Runtime Recording Or, a Light-Weight Approach to the View-Update Problem Kazutaka Matsuda* Meng Wang Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: 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 Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Lambda calculus Bidirectionalization Database theory Joint Electronics Type Designation System Combinatory logic Computing Military Electronics
9	MATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Add to Reading List Source URL: www.keisu.t.u-tokyo.ac.jp Language: English - Date: 2007-07-24 03:01:52 Functions and mappings Mathematics Mathematical analysis Analysis Partial function Bidirectional transformation Derivative Combinatory logic Injective function Transformation Bidirectionalization Data transformation
10	Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda† Zhenjiang Hu† Add to Reading List Source URL: www.cs.gunma-u.ac.jp Language: English - Date: 2008-05-14 16:47:26

UPDATE