publications:
- title: "An Injective Language for Reversible Computation"
  author:
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=289"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=289"
  researchr: "https://researchr.org/publication/MuHT04%3A0"
  cites: 0
  citedby: 0
  pages: "289-313"
  booktitle: "Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings"
  editor:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Carron Shankland"
    link: "https://researchr.org/alias/carron-shankland"
  volume: "3125"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22380-0"
  kind: "inproceedings"
  key: "MuHT04:0"
- title: "A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models"
  author:
  - name: "Bo Wang"
    link: "https://researchr.org/alias/bo-wang"
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Haiyan Zhao"
    link: "https://researchr.org/alias/haiyan-zhao"
  - name: "Wei Zhang"
    link: "https://researchr.org/alias/wei-zhang"
  - name: "Hong Mei"
    link: "https://researchr.org/alias/hong-mei"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/WangXHZZM10"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/WangXHZZM10"
  cites: 0
  citedby: 0
  pages: "181-195"
  booktitle: "Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I"
  editor:
  - name: "Dorina C. Petriu"
    link: "https://researchr.org/alias/dorina-c.-petriu"
  - name: "Nicolas Rouquette"
    link: "https://researchr.org/alias/nicolas-rouquette"
  - name: "Øystein Haugen"
    link: "https://researchr.org/alias/%C3%B8ystein-haugen"
  volume: "6394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16144-5"
  kind: "inproceedings"
  key: "WangXHZZM10"
- title: "Supporting Parallel Updates with Bidirectional Model Transformations"
  author:
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Hui Song"
    link: "https://researchr.org/alias/hui-song"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_15"
  tags:
  - "model-to-model transformation"
  - "bidirectional model transformations"
  - "bidirectional transformation"
  - "bidirectional model transformation"
  - "meta-model"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/XiongSHT09"
  cites: 0
  citedby: 0
  pages: "213-228"
  booktitle: "Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings"
  editor:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  volume: "5563"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02407-8"
  kind: "inproceedings"
  key: "XiongSHT09"
- title: "A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays"
  author:
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10766-007-0043-4"
  links:
    doi: "http://dx.doi.org/10.1007/s10766-007-0043-4"
  tags:
  - "composition"
  - "parallel programming"
  researchr: "https://researchr.org/publication/EmotoHKT07"
  cites: 0
  citedby: 0
  journal: "International Journal of Parallel Programming"
  volume: "35"
  number: "6"
  pages: "615-658"
  kind: "article"
  key: "EmotoHKT07"
- title: "Consistent Web site updating based on bidirectional transformation"
  author:
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10009-009-0124-3"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-009-0124-3"
  tags:
  - "rule-based"
  - "bidirectional transformation"
  - "transformation"
  researchr: "https://researchr.org/publication/NakanoHT09"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "11"
  number: "6"
  pages: "453-468"
  kind: "article"
  key: "NakanoHT09"
- title: "Supporting automatic model inconsistency fixing"
  author:
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Haiyan Zhao"
    link: "https://researchr.org/alias/haiyan-zhao"
  - name: "Hui Song"
    link: "https://researchr.org/alias/hui-song"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Hong Mei"
    link: "https://researchr.org/alias/hong-mei"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1595696.1595757"
  links:
    doi: "http://doi.acm.org/10.1145/1595696.1595757"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/XiongHZSTM09"
  cites: 0
  citedby: 0
  pages: "315-324"
  booktitle: "Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009"
  editor:
  - name: "Hans van Vliet"
    link: "http://www.cs.vu.nl/~hans/"
  - name: "Valérie Issarny"
    link: "https://researchr.org/alias/val%C3%A3%C2%A9rie-issarny"
  publisher: "ACM"
  isbn: "978-1-60558-001-2"
  kind: "inproceedings"
  key: "XiongHZSTM09"
- title: "Tupling Calculation Eliminates Multiple Data Traversals"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Akihiko Takano"
    link: "https://researchr.org/alias/akihiko-takano"
  year: "1997"
  tags:
  - "traversal"
  - "data-flow"
  researchr: "https://researchr.org/publication/HuITT97"
  cites: 0
  citedby: 0
  pages: "164-175"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HuITT97"
- title: "Program Transformation in Calculational Form"
  author:
  - name: "Akihiko Takano"
    link: "https://researchr.org/alias/akihiko-takano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289128"
  links:
    doi: "http://doi.acm.org/10.1145/289121.289128"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/TakanoHT98"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "30"
  number: "3es"
  pages: "7"
  kind: "article"
  key: "TakanoHT98"
- title: "Program Optimizations and Transformations in Calculation Form"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11877028_5"
  links:
    doi: "http://dx.doi.org/10.1007/11877028_5"
  tags:
  - "optimization"
  - "program optimization"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HuYT06"
  cites: 0
  citedby: 0
  pages: "144-168"
  booktitle: "Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers"
  editor:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  - name: "Joost Visser"
    link: "http://www.di.uminho.pt/~joost.visser/"
  volume: "4143"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45778-X"
  kind: "inproceedings"
  key: "HuYT06"
- title: "Parallelization via Context Preservation"
  author:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Akihiko Takano"
    link: "https://researchr.org/alias/akihiko-takano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "1998"
  doi: "http://computer.org/proceedings/iccl/8454/84540153abs.htm"
  links:
    doi: "http://computer.org/proceedings/iccl/8454/84540153abs.htm"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/ChinTH98"
  cites: 0
  citedby: 0
  pages: "153"
  booktitle: "ICCL"
  kind: "inproceedings"
  key: "ChinTH98"
- title: "A Grammar-Based Approach to Invertible Programs"
  author:
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_24"
  tags:
  - "rule-based"
  - "systematic-approach"
  - "grammar"
  researchr: "https://researchr.org/publication/MatsudaMHT10"
  cites: 0
  citedby: 0
  pages: "448-467"
  booktitle: "Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings"
  editor:
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  volume: "6012"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11956-9"
  kind: "inproceedings"
  key: "MatsudaMHT10"
- title: "An Algebraic Approach to Bi-directional Updating"
  author:
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=2"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=2"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MuHT04"
  cites: 0
  citedby: 0
  pages: "2-20"
  booktitle: "Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings"
  editor:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  volume: "3302"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23724-0"
  kind: "inproceedings"
  key: "MuHT04"
- title: "Systematic Derivation of Tree Contraction Algorithms"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2005"
  doi: "http://dx.doi.org/10.1142/S0129626405002246"
  links:
    doi: "http://dx.doi.org/10.1142/S0129626405002246"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MatsuzakiHKT05"
  cites: 0
  citedby: 0
  journal: "Parallel Processing Letters"
  volume: "15"
  number: "3"
  pages: "321-336"
  kind: "article"
  key: "MatsuzakiHKT05"
- title: "Combining syntactic and semantic bidirectionalization"
  author:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863571"
  abstract: "Matsuda et al. [2007, ICFP] and Voigtländer [2009, POPL] introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Being fundamentally different in approach, both techniques have their respective strengths and weaknesses. Here we develop a synthesis of the two techniques to good effect. On the intersection of their applicability domains we achieve more than what a simple union of applying the techniques side by side delivers."
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863571"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/VoigtlanderHMW10"
  tags:
  - "source-to-source"
  - "consistency"
  - "systematic-approach"
  - "open-source"
  researchr: "https://researchr.org/publication/VoigtlanderHMW10"
  cites: 0
  citedby: 0
  pages: "181-192"
  booktitle: "Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010"
  editor:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "VoigtlanderHMW10"
- title: "Bidirectionalizing graph transformations"
  author:
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiro Inaba"
    link: "https://researchr.org/alias/kazuhiro-inaba"
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863573"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863573"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/HidakaHIKMN10"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/HidakaHIKMN10"
  cites: 0
  citedby: 0
  pages: "205-216"
  booktitle: "Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010"
  editor:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "HidakaHIKMN10"
- title: "Towards a Modular Program Derivation via Fusion and Tupling"
  author:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870140.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870140.htm"
  researchr: "https://researchr.org/publication/ChinH02"
  cites: 0
  citedby: 0
  pages: "140-155"
  booktitle: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings"
  editor:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "inproceedings"
  key: "ChinH02"
- title: "An Accumulative Parallel Skeleton for All"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2305/23050083.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2305/23050083.htm"
  researchr: "https://researchr.org/publication/HuIT02%3A0"
  cites: 0
  citedby: 0
  pages: "83-97"
  booktitle: "Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings"
  editor:
  - name: "Daniel Le Métayer"
    link: "https://researchr.org/alias/daniel-le-m%C3%A9tayer"
  volume: "2305"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43363-5"
  kind: "inproceedings"
  key: "HuIT02:0"
- title: "Bidirectionalization transformation based on automatic derivation of view complement functions"
  author:
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Makoto Hamana"
    link: "https://researchr.org/alias/makoto-hamana"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291162"
  links:
    doi: "http://doi.acm.org/10.1145/1291151.1291162"
  tags:
  - "rule-based"
  - "transformation"
  researchr: "https://researchr.org/publication/MatsudaHNHT07"
  cites: 0
  citedby: 0
  pages: "47-58"
  booktitle: "Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "MatsudaHNHT07"
- title: "Towards a compositional approach to model transformation for software development"
  author:
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1529282.1529383"
  links:
    doi: "http://doi.acm.org/10.1145/1529282.1529383"
  tags:
  - "model-to-model transformation"
  - "meta-model"
  - "composition"
  - "model-driven development"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "systematic-approach"
  - "transformation"
  researchr: "https://researchr.org/publication/HidakaHKN09%3A0"
  cites: 0
  citedby: 0
  pages: "468-475"
  booktitle: "Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009"
  editor:
  - name: "Sung Y. Shin"
    link: "https://researchr.org/alias/sung-y.-shin"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  publisher: "ACM"
  isbn: "978-1-60558-166-8"
  kind: "inproceedings"
  key: "HidakaHKN09:0"
- title: "Cheap Tupling in Calculational Form"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  researchr: "https://researchr.org/publication/HuIT96%3A2"
  cites: 0
  citedby: 0
  pages: "471-472"
  booktitle: "Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61756-6"
  kind: "inproceedings"
  key: "HuIT96:2"
- title: "A programmable editor for developing structured documents based on bidirectional transformations"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1014007.1014025"
  links:
    doi: "http://doi.acm.org/10.1145/1014007.1014025"
  tags:
  - "rule-based"
  - "bidirectional transformation"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HuMT04"
  cites: 0
  citedby: 0
  pages: "178-189"
  booktitle: "Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004"
  editor:
  - name: "Nevin Heintze"
    link: "https://researchr.org/alias/nevin-heintze"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  publisher: "ACM"
  isbn: "1-58113-835-0"
  kind: "inproceedings"
  key: "HuMT04"
- title: "Calculating an Optimal Homomorphic Algorithm for Bracket Matching"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1999"
  doi: "http://dx.doi.org/10.1142/S0129626499000311"
  links:
    doi: "http://dx.doi.org/10.1142/S0129626499000311"
  researchr: "https://researchr.org/publication/HuT99"
  cites: 0
  citedby: 0
  journal: "Parallel Processing Letters"
  volume: "9"
  number: "3"
  pages: "335-345"
  kind: "article"
  key: "HuT99"
- title: "Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/256167.256201"
  links:
    doi: "http://doi.acm.org/10.1145/256167.256201"
  tags:
  - "parallel programming"
  researchr: "https://researchr.org/publication/HuIT97"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "19"
  number: "3"
  pages: "444-461"
  kind: "article"
  key: "HuIT97"
- title: "A compositional approach to bidirectional model transformation"
  author:
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070990"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070990"
  tags:
  - "model-to-model transformation"
  - "bidirectional model transformations"
  - "bidirectional transformation"
  - "bidirectional model transformation"
  - "meta-model"
  - "composition"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "systematic-approach"
  - "transformation"
  researchr: "https://researchr.org/publication/HidakaHKN09"
  cites: 0
  citedby: 0
  pages: "235-238"
  booktitle: "31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume"
  publisher: "IEEE"
  isbn: "978-1-4244-3494-7"
  kind: "inproceedings"
  key: "HidakaHKN09"
- title: "Deriving Structural Hylomorphisms From Recursive Definitions"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  researchr: "https://researchr.org/publication/HuIT96%3A1"
  cites: 0
  citedby: 0
  pages: "73-82"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HuIT96:1"
- title: "Gradual Refinement"
  author:
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mpc/WangGMH10"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/WangGMH10"
  cites: 0
  citedby: 0
  pages: "397-425"
  booktitle: "Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings"
  editor:
  - name: "Claude Bolduc"
    link: "https://researchr.org/alias/claude-bolduc"
  - name: "Jules Desharnais"
    link: "https://researchr.org/alias/jules-desharnais"
  - name: "Béchir Ktari"
    link: "https://researchr.org/alias/b%C3%A9chir-ktari"
  volume: "6120"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13320-6"
  kind: "inproceedings"
  key: "WangGMH10"
- title: "Bidirectional interpretation of XQuery"
  author:
  - name: "Dongxi Liu"
    link: "https://researchr.org/alias/dongxi-liu"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244386"
  links:
    doi: "http://doi.acm.org/10.1145/1244381.1244386"
  tags:
  - "XQuery"
  researchr: "https://researchr.org/publication/LiuHT07"
  cites: 0
  citedby: 0
  pages: "21-30"
  booktitle: "Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007"
  editor:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  kind: "inproceedings"
  key: "LiuHT07"
- title: "Yicho - A System for Programming Program Calculations"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/YokoyamaHT02"
  cites: 0
  citedby: 0
  pages: "366-382"
  booktitle: "The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings"
  kind: "inproceedings"
  key: "YokoyamaHT02"
- title: "Towards Manipulation of Mutually Recursive Functions"
  author:
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1998"
  researchr: "https://researchr.org/publication/IwasakiHT98"
  cites: 0
  citedby: 0
  pages: "61-79"
  booktitle: "Fuji International Symposium on Functional and Logic Programming"
  kind: "inproceedings"
  key: "IwasakiHT98"
- title: "Generators-of-Generators Library with Optimization Capabilities in Fortress"
  author:
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/europar/EmotoHKMT10"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/EmotoHKMT10"
  cites: 0
  citedby: 0
  pages: "26-37"
  booktitle: "Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II"
  editor:
  - name: "Pasqua D Ambra"
    link: "https://researchr.org/alias/pasqua-d-ambra"
  - name: "Mario Rosario Guarracino"
    link: "https://researchr.org/alias/mario-rosario-guarracino"
  - name: "Domenico Talia"
    link: "https://researchr.org/alias/domenico-talia"
  volume: "6272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15290-0"
  kind: "inproceedings"
  key: "EmotoHKMT10"
- title: "A programmable editor for developing structured documents based on bidirectional transformations"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9025-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9025-5"
  tags:
  - "rule-based"
  - "bidirectional transformation"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HuMT08"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "21"
  number: "1-2"
  pages: "89-118"
  kind: "article"
  key: "HuMT08"
- title: "Deterministic second-order patterns"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ipl.2003.12.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2003.12.008"
  researchr: "https://researchr.org/publication/YokoyamaHT04"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "89"
  number: "6"
  pages: "309-314"
  kind: "article"
  key: "YokoyamaHT04"
- title: "Context-Preserving XQuery Fusion"
  author:
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Yasunori Ishihara"
    link: "https://researchr.org/alias/yasunori-ishihara"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-17164-2_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17164-2_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/KatoHHNI10"
  tags:
  - "XQuery"
  - "context-aware"
  researchr: "https://researchr.org/publication/KatoHHNI10"
  cites: 0
  citedby: 0
  pages: "255-270"
  booktitle: "Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings"
  editor:
  - name: "Kazunori Ueda"
    link: "https://researchr.org/alias/kazunori-ueda"
  volume: "6461"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17163-5"
  kind: "inproceedings"
  key: "KatoHHNI10"
- title: "Diffusion: Calculating Efficient Parallel Programs"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  year: "1999"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/HuTI99"
  cites: 0
  citedby: 0
  pages: "85-94"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "HuTI99"
- title: "A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models"
  author:
  - name: "Wang"
    link: "https://researchr.org/alias/wang"
  - name: "Xiong"
    link: "https://researchr.org/alias/xiong"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Zhao"
    link: "https://researchr.org/alias/zhao"
  - name: "Zhang"
    link: "https://researchr.org/alias/zhang"
  - name: "Mei"
    link: "https://researchr.org/alias/mei"
  year: "2010"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Wang%3AMoDELS%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings"
  editor:
  - name: "Dorina Petriu"
    link: "https://researchr.org/alias/dorina-petriu"
  - name: "Nicolas Rouquette"
    link: "https://researchr.org/alias/nicolas-rouquette"
  - name: "Øystein Haugen"
    link: "https://researchr.org/alias/%C3%B8ystein-haugen"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "inproceedings"
  key: "Wang:MoDELS:2010"
- title: "Generation of Efficient Programs for Solving Maximum Multi-marking Problems"
  author:
  - name: "Isao Sasano"
    link: "https://researchr.org/alias/isao-sasano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm"
  researchr: "https://researchr.org/publication/SasanoHT01"
  cites: 0
  citedby: 0
  pages: "72-91"
  booktitle: "Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings"
  editor:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2196"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42558-6"
  kind: "inproceedings"
  key: "SasanoHT01"
- title: "Automatic inversion generates divide-and-conquer parallel programs"
  author:
  - name: "Kazutaka Morita"
    link: "https://researchr.org/alias/kazutaka-morita"
  - name: "Akimasa Morihata"
    link: "https://researchr.org/alias/akimasa-morihata"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1250734.1250752"
  links:
    doi: "http://doi.acm.org/10.1145/1250734.1250752"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/MoritaMMHT07"
  cites: 0
  citedby: 0
  pages: "146-155"
  booktitle: "Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007"
  editor:
  - name: "Jeanne Ferrante"
    link: "https://researchr.org/alias/jeanne-ferrante"
  - name: "Kathryn S. McKinley"
    link: "https://researchr.org/alias/kathryn-s.-mckinley"
  publisher: "ACM"
  isbn: "978-1-59593-633-2"
  kind: "inproceedings"
  key: "MoritaMMHT07"
- title: "A library of constructive skeletons for sequential style of parallel programming"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1146847.1146860"
  links:
    doi: "http://doi.acm.org/10.1145/1146847.1146860"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/MatsuzakiIEH06"
  cites: 0
  citedby: 0
  pages: "13"
  booktitle: "Proceedings of the 1st International Conference on Scalable Information Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006"
  editor:
  - name: "Xiaohua Jia"
    link: "https://researchr.org/alias/xiaohua-jia"
  volume: "152"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "1-59593-428-6"
  kind: "inproceedings"
  key: "MatsuzakiIEH06"
- title: "Generating Synchronization Engines between Running Systems and Their Model-Based Views"
  author:
  - name: "Hui Song"
    link: "https://researchr.org/alias/hui-song"
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Franck Chauvel"
    link: "https://researchr.org/alias/franck-chauvel"
  - name: "Gang Huang"
    link: "https://researchr.org/alias/gang-huang"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hong Mei"
    link: "https://researchr.org/alias/hong-mei"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12261-3_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12261-3_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/SongXCHHM09"
  tags:
  - "rule-based"
  - "synchronization"
  researchr: "https://researchr.org/publication/SongXCHHM09"
  cites: 0
  citedby: 0
  pages: "140-154"
  booktitle: "Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers"
  editor:
  - name: "Sudipto Ghosh"
    link: "https://researchr.org/alias/sudipto-ghosh"
  volume: "6002"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12260-6"
  kind: "inproceedings"
  key: "SongXCHHM09"
- title: "Maximum Marking Problems with Accumulative Weight Functions"
  author:
  - name: "Isao Sasano"
    link: "https://researchr.org/alias/isao-sasano"
  - name: "Mizuhito Ogawa"
    link: "https://researchr.org/alias/mizuhito-ogawa"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560647_37"
  links:
    doi: "http://dx.doi.org/10.1007/11560647_37"
  researchr: "https://researchr.org/publication/SasanoOH05"
  cites: 0
  citedby: 0
  pages: "562-578"
  booktitle: "Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings"
  editor:
  - name: "Dang Van Hung"
    link: "https://researchr.org/alias/dang-van-hung"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "3722"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29107-5"
  kind: "inproceedings"
  key: "SasanoOH05"
- title: "Implementation of Parallel Tree Skeletons on Distributed Systems"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  researchr: "https://researchr.org/publication/MatsuzakiHT02"
  cites: 0
  citedby: 0
  pages: "258-271"
  booktitle: "The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings"
  kind: "inproceedings"
  key: "MatsuzakiHT02"
- title: "Towards automatic parallelization of tree reductions in dynamic programming"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1148109.1148116"
  links:
    doi: "http://doi.acm.org/10.1145/1148109.1148116"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/MatsuzakiHT06"
  cites: 0
  citedby: 0
  pages: "39-48"
  booktitle: "SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallel Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006"
  editor:
  - name: "Phillip B. Gibbons"
    link: "https://researchr.org/alias/phillip-b.-gibbons"
  - name: "Uzi Vishkin"
    link: "https://researchr.org/alias/uzi-vishkin"
  publisher: "ACM"
  isbn: "1-59593-452-9"
  kind: "inproceedings"
  key: "MatsuzakiHT06"
- title: "Construction of List Homomorphisms by Tupling and Fusion"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  researchr: "https://researchr.org/publication/HuIT96"
  cites: 0
  citedby: 0
  pages: "407-418"
  booktitle: "Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings"
  editor:
  - name: "Wojciech Penczek"
    link: "https://researchr.org/alias/wojciech-penczek"
  - name: "Andrzej Szalas"
    link: "https://researchr.org/alias/andrzej-szalas"
  volume: "1113"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61550-4"
  kind: "inproceedings"
  key: "HuIT96"
- title: "A Fusion-Embedded Skeleton Library"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Yoshiki Akashi"
    link: "https://researchr.org/alias/yoshiki-akashi"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3149&spage=644"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3149&spage=644"
  researchr: "https://researchr.org/publication/MatsuzakiKIHA04"
  cites: 0
  citedby: 0
  pages: "644-653"
  booktitle: "Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings"
  editor:
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Marco Vanneschi"
    link: "https://researchr.org/alias/marco-vanneschi"
  - name: "Domenico Laforenza"
    link: "https://researchr.org/alias/domenico-laforenza"
  volume: "3149"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22924-8"
  kind: "inproceedings"
  key: "MatsuzakiKIHA04"
- title: "The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer"
  author:
  - name: "Akimasa Morihata"
    link: "https://researchr.org/alias/akimasa-morihata"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480881.1480905"
  links:
    doi: "http://doi.acm.org/10.1145/1480881.1480905"
  researchr: "https://researchr.org/publication/MorihataMHT09"
  cites: 0
  citedby: 0
  pages: "177-185"
  booktitle: "Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009"
  editor:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "978-1-60558-379-2"
  kind: "inproceedings"
  key: "MorihataMHT09"
- title: "Parallelization with Tree Skeletons"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=789"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=789"
  researchr: "https://researchr.org/publication/MatsuzakiHT03"
  cites: 0
  citedby: 0
  pages: "789-798"
  booktitle: "Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings"
  editor:
  - name: "Harald Kosch"
    link: "https://researchr.org/alias/harald-kosch"
  - name: "László Böszörményi"
    link: "https://researchr.org/alias/l%C3%A1szl%C3%B3-b%C3%B6sz%C3%B6rm%C3%A9nyi"
  - name: "Hermann Hellwagner"
    link: "https://researchr.org/alias/hermann-hellwagner"
  volume: "2790"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40788-X"
  kind: "inproceedings"
  key: "MatsuzakiHT03"
- title: "Type-based specialization of xml transformations"
  author:
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480955"
  links:
    doi: "http://doi.acm.org/10.1145/1480945.1480955"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "transformation"
  researchr: "https://researchr.org/publication/MatsudaHT09"
  cites: 0
  citedby: 0
  pages: "61-72"
  booktitle: "Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  kind: "inproceedings"
  key: "MatsudaHT09"
- title: "Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins"
  author:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2013"
  doi: "http://dx.doi.org/10.1017/S0956796813000130"
  abstract: "Matsuda et al. (ICFP 2007) and Voigtländer (POPL 2009) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer et al., ICFP 2010). Here, we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. "
  links:
    doi: "http://dx.doi.org/10.1017/S0956796813000130"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/VoigtlanderHMW13"
  researchr: "https://researchr.org/publication/VoigtlanderHMW13"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "23"
  number: "5"
  pages: "515-551"
  kind: "article"
  key: "VoigtlanderHMW13"
- title: "List Homomorphism with Accumulation"
  author:
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2003"
  researchr: "https://researchr.org/publication/KakehiHT03"
  cites: 0
  citedby: 0
  pages: "250-259"
  booktitle: "Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany"
  editor:
  - name: "Walter Dosch"
    link: "https://researchr.org/alias/walter-dosch"
  - name: "Roger Y. Lee"
    link: "https://researchr.org/alias/roger-y.-lee"
  publisher: "ACIS"
  isbn: "0-9700776-7-X"
  kind: "inproceedings"
  key: "KakehiHT03"
- title: "Fusion Transformation on Functional Programs of Regular Expression Types"
  author:
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  tags:
  - "functional programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/KakehiHT02"
  cites: 0
  citedby: 0
  pages: "160-174"
  booktitle: "The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings"
  kind: "inproceedings"
  key: "KakehiHT02"
- title: "Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/HuIT02"
  cites: 0
  citedby: 0
  pages: "246-257"
  booktitle: "The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings"
  kind: "inproceedings"
  key: "HuIT02"
- title: "Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  tags:
  - "parallel programming"
  researchr: "https://researchr.org/publication/HuIT96%3A0"
  cites: 0
  citedby: 0
  pages: "553-562"
  booktitle: "Euro-Par  96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I"
  editor:
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "Pierre Fraigniaud"
    link: "https://researchr.org/alias/pierre-fraigniaud"
  - name: "Anne Mignotte"
    link: "https://researchr.org/alias/anne-mignotte"
  - name: "Yves Robert"
    link: "https://researchr.org/alias/yves-robert"
  volume: "1123"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61626-8"
  kind: "inproceedings"
  key: "HuIT96:0"
- title: "Parallelization in Calculational Forms"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268972"
  links:
    doi: "http://doi.acm.org/10.1145/268946.268972"
  researchr: "https://researchr.org/publication/HuTC98"
  cites: 0
  citedby: 0
  pages: "316-328"
  booktitle: "Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages"
  address: "New York, NY, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "HuTC98"
- title: "Calculating Accumulations"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1999"
  researchr: "https://researchr.org/publication/HuIT99"
  cites: 0
  citedby: 0
  journal: "New Generation Comput."
  volume: "17"
  number: "2"
  pages: "153-173"
  kind: "article"
  key: "HuIT99"
- title: "A calculational fusion system HYLO"
  author:
  - name: "Yoshiyuki Onoue"
    link: "https://researchr.org/alias/yoshiyuki-onoue"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1997"
  researchr: "https://researchr.org/publication/OnoueHIT97"
  cites: 0
  citedby: 0
  pages: "76-106"
  booktitle: "Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France"
  editor:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  volume: "95"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-82050-1"
  kind: "inproceedings"
  key: "OnoueHIT97"
- title: "An Accumulative Parallel Skeleton for All"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2001"
  researchr: "https://researchr.org/publication/HuIT01"
  cites: 0
  citedby: 0
  pages: "89-101"
  booktitle: "The Second Asian Workshop on Programming Languages and Systems, APLAS 01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings"
  kind: "inproceedings"
  key: "HuIT01"
- title: "Swapping Arguments and Results of Recursive Functions"
  author:
  - name: "Akimasa Morihata"
    link: "https://researchr.org/alias/akimasa-morihata"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_22"
  links:
    doi: "http://dx.doi.org/10.1007/11783596_22"
  researchr: "https://researchr.org/publication/MorihataKHT06"
  cites: 0
  citedby: 0
  pages: "379-396"
  booktitle: "Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings"
  editor:
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "4014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35631-2"
  kind: "inproceedings"
  key: "MorihataKHT06"
- title: "A New Parallel Skeleton for General Accumulative Computations"
  author:
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1023/B:IJPP.0000038069.80050.74"
  links:
    doi: "http://www.springerlink.com/index/10.1023/B:IJPP.0000038069.80050.74"
  researchr: "https://researchr.org/publication/IwasakiH04"
  cites: 0
  citedby: 0
  journal: "International Journal of Parallel Programming"
  volume: "32"
  number: "5"
  pages: "389-414"
  kind: "article"
  key: "IwasakiH04"
- title: "Domain-Specific Optimization Strategy for Skeleton Programs"
  author:
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74466-5_74"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74466-5_74"
  tags:
  - "optimization"
  - "program optimization"
  researchr: "https://researchr.org/publication/EmotoMHT07"
  cites: 0
  citedby: 0
  pages: "705-714"
  booktitle: "Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings"
  editor:
  - name: "Anne-Marie Kermarrec"
    link: "https://researchr.org/alias/anne-marie-kermarrec"
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "Thierry Priol"
    link: "https://researchr.org/alias/thierry-priol"
  volume: "4641"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74465-8"
  kind: "inproceedings"
  key: "EmotoMHT07"
- title: "A Web Service Architecture for Bidirectional XML Updating"
  author:
  - name: "Yasushi Hayashi"
    link: "https://researchr.org/alias/yasushi-hayashi"
  - name: "Dongxi Liu"
    link: "https://researchr.org/alias/dongxi-liu"
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72524-4_74"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72524-4_74"
  tags:
  - "XML"
  - "XML Schema"
  - "web service"
  - "architecture"
  researchr: "https://researchr.org/publication/HayashiLEMHT07"
  cites: 0
  citedby: 0
  pages: "721-732"
  booktitle: "Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings"
  editor:
  - name: "Guozhu Dong"
    link: "https://researchr.org/alias/guozhu-dong"
  - name: "Xuemin Lin"
    link: "https://researchr.org/alias/xuemin-lin"
  - name: "Wei Wang 0011"
    link: "https://researchr.org/alias/wei-wang-0011"
  - name: "Yun Yang"
    link: "https://researchr.org/alias/yun-yang"
  - name: "Jeffrey Xu Yu"
    link: "https://researchr.org/alias/jeffrey-xu-yu"
  volume: "4505"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72483-4"
  kind: "inproceedings"
  key: "HayashiLEMHT07"
- title: "Bidirectional Transformations: A Cross-Discipline Perspective"
  author:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "J. Nathan Foster"
    link: "http://www.cs.princeton.edu/~jnfoster/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "ralf-lämmel"
    link: "https://researchr.org/alias/ralf-l%C3%A3%C2%A4mmel"
  - name: "andy-schürr"
    link: "https://researchr.org/alias/andy-sch%C3%A3%C2%BCrr"
  - name: "James F. Terwilliger"
    link: "https://researchr.org/alias/james-f.-terwilliger"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_19"
  abstract: " The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners from a variety of sub-disciplines of computer science to share research efforts and help create a new community. In this report, we survey the state of the art and summarize the technical presentations delivered at the meeting. We also describe some insights gathered from our discussions and introduce a new effort to establish a benchmark for bidirectional transformations. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_19"
  tags:
  - "bidirectional transformation"
  - "survey"
  - "e-science"
  - "transformation"
  researchr: "https://researchr.org/publication/CzarneckiFHLST09"
  cites: 142
  citedby: 0
  pages: "260-283"
  booktitle: "Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings"
  editor:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  volume: "5563"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02407-8"
  kind: "inproceedings"
  key: "CzarneckiFHLST09"
- title: "Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-10672-9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-10672-9"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/aplas-2009"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings"
  conference: "aplas"
  editor:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  volume: "5904"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-10671-2"
  kind: "proceedings"
  key: "aplas-2009"