Development of theory and application of programming based on higher-order/typed calculi
| Project/Area Number |
15H02681
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
Sumii Eijiro 東北大学, 情報科学研究科, 教授 (00333550)
|
|---|
| Project Period (FY) |
2015-04-01 – 2020-03-31
|
| Project Status |
Completed (Fiscal Year 2019)
|
| Budget Amount *help |
¥17,810,000 (Direct Cost: ¥13,700,000、Indirect Cost: ¥4,110,000)
Fiscal Year 2019: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2018: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2017: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2016: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2015: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
|
|---|
| Keywords | プログラミング言語理論 / 関数型プログラミング / 高階計算・λ計算（ラムダ計算） / 型システム / 情報セキュリティ・情報流解析 / 並行・分散計算 / 形式的（機械的）定理証明・検証 / 環境双模倣 / セキュリティ / 並行計算 / ソフトウェア基礎 / 関数型言語 / 必要呼び評価戦略 / 関数型プログラミング言語 / セキュリティ型つきλ計算 / 非機密化(declassification) / 遅延評価 / 名前呼び / 必要呼び / プログラム検証 / 評価戦略 / λ計算 / セキュリティ型 / declassification / 秘密性・機密性 / プログラム等価性 |
|---|
| Outline of Final Research Achievements |
As enumerated in the report, a variety of results and new theories have been obtained by developing and applying programming language theory (in particular, higher-order computation and static type systems) studied in functional languages and related research fields. Some of our research has been accepted as full papers and presented in refereed, high-quality international conferences.
|
| Academic Significance and Societal Importance of the Research Achievements |
広義の「計算」の記述としての高水準プログラミング，ひいては情報処理システムの生産性・信頼性を向上させる分野の研究成果である．研究計画に明記したとおり，本研究は学術的基礎理論研究であり，「201X年YY月にZZZZ理論を着想する」といった具体的計画をあらかじめ立てることはあり得ないため，研究計画もあくまで例示である旨を明記した上で採択されたが，研究題目に沿った多数の予見し得なかった成果が得られ，研究者自身の発想による自由な研究の重要性が再確認された．
|
Report
(6 results)
Research Products
(20 results)
-
-
-
-
[Journal Article] Specialization of Generic Array Accesses After Inlining2017
Author(s)
Ryohei Tokuda, Eijiro Sumii, Akinori Abe
-
Journal Title
Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015, Electronic Proceedings in Theoretical Computer Science
Volume: 241
Pages: 45-53
DOI
Related Report
Peer Reviewed / Open Access / Acknowledgement Compliant
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
