Bidirectionalization

Results: 15



#Item
1Bidirectionalization for Free! Janis Voigtl¨ ander Technische Universit¨ at Dresden

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
    2Complement-Based Bidirectionalization J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx”

    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
      3Combining 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

      Add to Reading List

      Source URL: www.janis-voigtlaender.eu

      - Date: 2016-08-24 08:10:28
        4Semantic 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

        Add to Reading List

        Source URL: www.janis-voigtlaender.eu

        - Date: 2016-08-01 05:50:10
          5Efficiency 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”

          Add to Reading List

          Source URL: www.janis-voigtlaender.eu

          Language: English - Date: 2016-08-01 05:50:10
          6Ideas 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

          Add to Reading List

          Source URL: www.janis-voigtlaender.eu

          Language: English - Date: 2016-08-01 05:50:11
          7Bidirectionalization 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**

          Add to Reading List

          Source URL: www2.sf.ecei.tohoku.ac.jp

          Language: English - Date: 2013-09-18 08:32:06
            8Bidirectionalization 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*

            Add to Reading List

            Source URL: www2.sf.ecei.tohoku.ac.jp

            Language: English - Date: 2013-05-31 02:47:36
            9MATHEMATICAL 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

            Add to Reading List

            Source URL: www.keisu.t.u-tokyo.ac.jp

            Language: English - Date: 2007-07-24 03:01:52
            10Bidirectionalization 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†

            Add to Reading List

            Source URL: www.cs.gunma-u.ac.jp

            Language: English - Date: 2008-05-14 16:47:26