• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Study on Highly Reliable Programming Languages for Code Generation

Research Project

Project/Area Number 25280020
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Software
Research InstitutionUniversity of Tsukuba

Principal Investigator

KAMEYAMA YUKIYOSHI  筑波大学, システム情報系, 教授 (10195000)

Co-Investigator(Kenkyū-buntansha) ASAI Kenichi  お茶の水女子大学, 人間文化創成科学研究科, 准教授 (10262156)
IGARASHI Atsushi  京都大学, 情報学研究科, 教授 (40323456)
UNNO Hiroshi  筑波大学, システム情報系, 助教 (80569575)
Co-Investigator(Renkei-kenkyūsha) KISELYOV Oleg  東北大学, 情報科学研究科, 助教 (50754602)
Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥17,290,000 (Direct Cost: ¥13,300,000、Indirect Cost: ¥3,990,000)
Fiscal Year 2015: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2014: ¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2013: ¥7,670,000 (Direct Cost: ¥5,900,000、Indirect Cost: ¥1,770,000)
Keywordsディペンダブルコンピューティング / 関数型プログラム言語 / プログラム生成 / プログラム検証 / プログラム変換 / プログラム特化 / 高性能計算 / 型システム / 関数型プログラミング言語 / 実行時プログラム生成 / プログラミング言語 / ソフトウェア検証
Outline of Final Research Achievements

Code generation is a leading approach to generate, for a given generic program, specialized code for individual environments, parameters, and architectures. In this research we have developed theories and programming languages for safe and highly reliable code generation, and have also implemented them. Our major results include: (1) We succeeded in designing and implementing a new type system in which one can use various side effects such as mutation and control operators as well as can write code generators, yet the system ensures well typedness and well scopedness statically. (2) We have designed and implemented a new language for generating efficient database queries in SQL that is type safe. (3) We have proposed an automatic technique for inserting staging annotations to programs that are guaranteed to be optimal. We believe that these results and many others of our research contributed to enhance the safety and reliability of program generation techniques.

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • Research Products

    (26 results)

All 2016 2015 2014 2013 Other

All Int'l Joint Research (1 results) Journal Article (16 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 16 results,  Acknowledgement Compliant: 9 results) Presentation (8 results) Remarks (1 results)

  • [Int'l Joint Research] インディアナ大学(米国)

    • Related Report
      2015 Annual Research Report
  • [Journal Article] Staging beyond terms: prospects and challenges2016

    • Author(s)
      Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: なし Pages: 103-108

    • DOI

      10.1145/2847538.2847548

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Finally, safely-extensible and efficient language-integrated query2016

    • Author(s)
      Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: なし Pages: 37-48

    • DOI

      10.1145/2847538.2847542

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Toward introducing binding-time analysis to MetaOCaml2016

    • Author(s)
      Kenichi Asai
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation

      Volume: なし Pages: 97-102

    • DOI

      10.1145/2847538.2847547

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Automatic Staging via Partial Evaluation Techniques2016

    • Author(s)
      Kenichi Asai, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing

      Volume: 39 Pages: 1-13

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Agda による定式化された型推論器の拡張と改良2016

    • Author(s)
      門脇 香子、浅井 健一
    • Journal Title

      第18回プログラミングおよびプログラミング言語ワークショップ予稿集(オンライン)

      Volume: なし Pages: 1-15

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Temporal Verification of Higher-Order Functional Programs2016

    • Author(s)
      Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno
    • Journal Title

      In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices

      Volume: 51 (1) Pages: 57-68

    • DOI

      10.1145/2837614.2837667

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Combinators for impure yet hygienic code generation2015

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Science of Computer Programming

      Volume: 112 Pages: 120-144

    • DOI

      10.1016/j.scico.2015.08.007

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Generate and offshore: type-safe and modular code generation for low-level optimization2015

    • Author(s)
      Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing

      Volume: なし Pages: 45-53

    • DOI

      10.1145/2808091.2808096

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Refinement Type Inference via Horn Constraint Optimization2015

    • Author(s)
      Kodai Hashimoto, Hiroshi Unno
    • Journal Title

      Proceedings of SAS 2015, LNCS

      Volume: 9291 Pages: 199-216

    • DOI

      10.1007/978-3-662-48288-9_12

    • ISBN
      9783662482872, 9783662482889
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] ついにSQLを組み立てる:拡張可能で安全な統合言語クエリ2015

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 17-17

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] The Next Stage of Staging2015

    • Author(s)
      Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 11-11

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Agdaによる型推論器の定式化2015

    • Author(s)
      門脇香子、浅井健一
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 13-13

    • NAID

      170000151297

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Type Theoretic Specification of Partial Evaluation2014

    • Author(s)
      K. Asai, L. Fennell, P. Thiemann, Y. Zhang
    • Journal Title

      Proc. of 2014 Symp. on Principles and Practice of Declarative Programming

      Volume: 16 Pages: 57-68

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Combinators for Impure yet Hygienic Code Generation2014

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: 2014 Pages: 3-14

    • DOI

      10.1145/2543728.2543740

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On Cross-Stage Persistence in Multi-Stage Programming2014

    • Author(s)
      Yuichiro Hanada and Atsushi Igarashi
    • Journal Title

      Proc. of International Symposium on Functional and Logic Programming (Lecture Notes in Computer Science)

      Volume: 印刷中

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Formalizing a Correctness Property of a Type-Directed Partial Evaluator2014

    • Author(s)
      Noriko Hirota and Kenichi Asai
    • Journal Title

      Proc. of ACM SIGPLAN Workshop on Programming Language meets Program Verification

      Volume: 2014 Pages: 41-46

    • DOI

      10.1145/2541568.2541572

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Presentation] 1MLのサブセット言語に対する型システムの構築2016

    • Author(s)
      渡部恭久, 亀山幸義
    • Organizer
      第18回プログラミングおよびプログラミング言語ワークショップ ポスター発表
    • Place of Presentation
      ダイヤモンド瀬戸内マリンホテル(岡山県玉野市)
    • Year and Date
      2016-03-07
    • Related Report
      2015 Annual Research Report
  • [Presentation] 参照を備えた多段階計算のための多相的型システム2015

    • Author(s)
      小林 恵, 五十嵐 淳
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学(東京都新宿区)
    • Year and Date
      2015-09-08
    • Related Report
      2015 Annual Research Report
  • [Presentation] 拡張可能で安全な統合言語クエリ (ポスター発表)2014

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-09
    • Related Report
      2014 Annual Research Report
  • [Presentation] コード生成のための自然演繹2014

    • Author(s)
      須藤悠斗、Oleg Kiselyov, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-08 – 2014-09-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] Prolog 再考: 急がないで推測2014

    • Author(s)
      Oleg Kiselyov, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-08 – 2014-09-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] 型デバッガのログの解析とエラーメッセージの改良2014

    • Author(s)
      石井柚季、浅井健一
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      阿蘇の司ビラパークホテル
    • Related Report
      2013 Annual Research Report
  • [Presentation] 段階的計算における最適なステージ化プログラム生成の自動化2013

    • Author(s)
      清水春樹、亀山幸義
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] 多段階計算λ>のための越段階埋込2013

    • Author(s)
      花田裕一朗、五十嵐淳
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学
    • Related Report
      2013 Annual Research Report
  • [Remarks] プログラミング科学リサーチユニット

    • URL

      http://logic.cs.tsukuba.ac.jp/programming/

    • Related Report
      2013 Annual Research Report

URL: 

Published: 2013-05-21   Modified: 2022-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi