Implementation techniques for Domain Specific Languages

• Project/Area Number: 15H02682
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: The University of Tokyo
• Principal Investigator: Chiba Shigeru 東京大学, 大学院情報理工学系研究科, 教授 (80282713)
• Project Period (FY): 2015-04-01 – 2019-03-31
• Project Status: Completed (Fiscal Year 2019)
• Budget Amount: ¥17,940,000 (Direct Cost: ¥13,800,000、Indirect Cost: ¥4,140,000); Fiscal Year 2018: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2017: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2016: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000); Fiscal Year 2015: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
• Keywords: ライブラリ / プログラミング言語 / ソフトウェア学 / ソフトウェア開発の効率化・安定化 / ソフトウェア開発効率化・安定化 / ソフトウエア開発効率化・安定化 / ソフトウエア学

Outline of Final Research Achievements

This research project investigated implementation techniques for Embedded Domain Specific Languages (EDSLs). (1) It developed a general-purpose programming language with a language support for implementing EDSLs. The language helps the users avoid making a mistake when writing EDSL code. (2) The project developed a new language construct named turnstile type, which enables an EDSL with dedicated syntactic constructs. (3) The project developed a technique for verifying a sequence of method calls by using the type system of the host language when an EDSL program is represented by a chain of method calls.

Academic Significance and Societal Importance of the Research Achievements

汎用プログラミング言語上のライブラリとして実装される埋め込み領域特化言語は、独立したミニ・プログラミング言語風のプログラミング・インタフェースをもつライブラリともいえ、次世代の高機能ライブラリとして注目されている。本研究は、そのようなライブラリを実用化するための基礎技術を開発した。これは高品質なソフトウェアを少人数かつ短い時間で開発するための一助になる。

Research Products

• [Journal Article] Generating a Generic Fluent API in Java (2020)
  • Author(s): Tomoki Nakamaru and Shigeru Chiba
  • Journal Title: The Art, Science, and Engineering of Programming Volume: 4 Issue: 3
  • DOI: 10.22152/programming-journal.org/2020/4/9
  • Peer Reviewed
• [Journal Article] Generating fluent embedded domain-specific languages with subchaining (2019)
  • Author(s): Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba
  • Journal Title: Journal of Computer Languages Volume: 50 Pages: 70-83
  • DOI: 10.1016/j.jvlc.2018.11.001
  • Peer Reviewed
• [Journal Article] Buffered Garbage Collection: An Approach to Collecting Self-Created Garbage Objects (2019)
  • Author(s): Tetsuro Yamazaki, Shigeru Chiba
  • Journal Title: Journal of Information Processing Volume: 27 Issue: 0 Pages: 479-488
  • DOI: 10.2197/ipsjjip.27.479
  • NAID: 130007690192
  • ISSN: 1882-6652
  • Peer Reviewed
• [Journal Article] Foreign language interfaces by code migration (2019)
  • Author(s): Shigeru Chiba
  • Journal Title: The 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2019) Volume: - Pages: 1-13
  • DOI: 10.1145/3357765.3359521
  • Peer Reviewed
• [Journal Article] Generating a fluent API with syntax checking from an LR grammar (2019)
  • Author(s): Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba
  • Journal Title: The ACM Proceedings of the ACM on Programming Languages (PACMPL) Volume: 3 Issue: OOPSLA Pages: 1-24
  • DOI: 10.1145/3360560
  • Peer Reviewed
• [Journal Article] Buffered Garbage Collection for Self-Reflective Customization (2018)
  • Author(s): Tetsuro Yamazaki and Shigeru Chiba
  • Journal Title: Proc. of 33rd Annual ACM Symposium on Applied Computing (SAC 2018) Volume: - Pages: 1256-1259
  • DOI: 10.1145/3167132.3167416
  • Peer Reviewed
• [Journal Article] Silverchain: A Fluent API Generator (2017)
  • Author(s): Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, and Shigeru Chiba
  • Journal Title: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2017) Volume: vol.52 issue 12 Pages: 199-211
  • DOI: 10.1145/3136040.3136041
  • Peer Reviewed
• [Journal Article] Reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms (2017)
  • Author(s): Joseph Caldwell and Shigeru Chiba
  • Journal Title: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2017) Volume: vol.52 issue 12 Pages: 146-156
  • DOI: 10.1145/3136040.3136057
  • Peer Reviewed
• [Journal Article] User-Defined Operators Including Name Binding for New Language Constructs (2017)
  • Author(s): Kazuhiro Ichikawa and Shigeru Chiba
  • Journal Title: The Art, Science, and Engineering of Programming Volume: 1-2 Issue: 2
  • DOI: 10.22152/programming-journal.org/2017/1/15
  • Peer Reviewed / Open Access
• [Journal Article] Expanding Event Systems to Support Signals by Enabling the Automation of Handler Bindings (2016)
  • Author(s): Yung Yu Zhuang, Shigeru Chiba
  • Journal Title: Journal of Information Processing Volume: 24 Issue: 4 Pages: 620-634
  • DOI: 10.2197/ipsjjip.24.620
  • NAID: 130005165246
  • ISSN: 1882-6652
  • Peer Reviewed / Open Access
• [Journal Article] 有効範囲を既知のコールパスに限定する Ruby 向けの安全な クラス拡張 Method seals (2016)
  • Author(s): 福室 嶺・千葉 滋
  • Journal Title: 情報処理学会論文誌 プログラミング Volume: 9-4 Pages: 16-26
  • NAID: 170000148145
  • Peer Reviewed / Open Access
• [Journal Article] Almost First-Class Language Embedding: Taming Staged Embedded DSLs (2016)
  • Author(s): Maximilian Scherr and Shigeru Chiba
  • Journal Title: ACM SIGPLAN Notices - GPCE '15 Volume: 51-3 Issue: 3 Pages: 21-30
  • DOI: 10.1145/2936314.2814217
  • Peer Reviewed
• [Journal Article] Inverse Macro in Scala (2016)
  • Author(s): Hiroshi Yamaguchi and Shigeru Chiba
  • Journal Title: ACM SIGPLAN Notices - GPCE '15 Volume: 51-3 Pages: 85-94
  • DOI: 10.1145/2814204.2814213
  • Peer Reviewed
• [Presentation] Outlook on Composite Type Labels in User-Defined Type Systems (2017)
  • Author(s): Antoine Tu, Shigeru Chiba
  • Organizer: 34th JSSST conference, Keio university, September, 2017
• [Presentation] 型検査を用いたコンパイル時LR構文解析手法の提案 (2017)
  • Author(s): 松永 智將, 市川 和央, 山崎 徹郎, 中丸 智貴, 千葉 滋
  • Organizer: 日本ソフトウェア科学会第34回大会
• [Remarks] Silverchain
  • URL: https://github.com/csg-tokyo/silverchain