Theory and Design of a Safe and Flexible Programming Language Based On the Integration of Static and Dynamic Typing
| Project/Area Number |
21680002
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2009 – 2012
|
| Project Status |
Completed (Fiscal Year 2012)
|
| Budget Amount *help |
¥22,620,000 (Direct Cost: ¥17,400,000、Indirect Cost: ¥5,220,000)
Fiscal Year 2012: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2011: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2010: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2009: ¥6,760,000 (Direct Cost: ¥5,200,000、Indirect Cost: ¥1,560,000)
|
|---|
| Keywords | オブジェクト指向言語 / 漸進的型付け / プログラミング言語 / Java 言語 / ジェネリクス / 型安全性 / コントラクト / Java言語 / ソフトウェア契約 / ソフトウェア・コントラクト |
|---|
| Research Abstract |
There are two kinds of programming languages: statically typed languages, in which a program is subject to error-checking before running it; and dynamically typed languages, in which errors in a program are found only at its run time. They have both advantages and disadvantages. In this research we designed a new language which has both functionalities and studied its theory and implementation. As theoretical results, we obtained a type-checking algorithm for partially-typed programs, a method to perform run-time checks, and their correctness proofs, which show errors found at run-time can be attributed to a portion of programs that are not checked before running. We also devised an implementation scheme.
|
Report
(5 results)
Research Products
(41 results)
-
-
-
-
-
-
-
[Journal Article] Pierce, Polymorphic Contracts2011
Author(s)
Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C
-
Journal Title
Proc. Of European Symposium on Programming
Volume: 6602
Pages: 18-37
DOI
ISBN
9783642197178, 9783642197185
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Gradual Typing for Generics2011
Author(s)
Lintaro Ina, Atsushi Igarashi
Organizer
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA2011)
Place of Presentation
アメリカ・ポートランド
Year and Date
2011-10-26
Related Report
-
-
[Presentation] Polymorphic Contracts2011
Author(s)
Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C.Plerce
Organizer
European Symposium on Programming
Place of Presentation
ドイツ・ザールブルッケン大
Year and Date
2011-03-31
Related Report
-
-
-
-
[Presentation] Self Type Constructors2009
Author(s)
Chieri Saito, Atsushi Igarashi
Organizer
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
Place of Presentation
アメリカ・フロリダ州・オーランド
Year and Date
2009-10-29
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
