Theory and Design of a Safe and Flexible Programming Language Based On the Integration of Static and Dynamic Typing

基于静态和动态类型集成的安全灵活编程语言的理论与设计

• 批准号: 21680002
• 负责人: IGARASHI Atsushi
• 金额: $ 14.48万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (A)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21680002/
• 关键词: オブジェクト指向言語; 漸進的型付け; プログラミング言語; Java 言語; ジェネリクス; 型安全性; コントラクト; Java言語; ソフトウェア契約; ソフトウェア・コントラクト

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.

有两种编程语言：静态类型语言，其中程序在运行之前要进行错误检查；在动态类型语言中，只有在运行时才能发现程序中的错误。它们既有优点也有缺点。在本研究中，我们设计了一种兼具功能的语言，并对其理论和实现进行了研究。作为理论结果，我们获得了部分类型程序的类型检查算法，一种执行运行时检查的方法，以及它们的正确性证明，这些证明表明在运行时发现的错误可以归因于运行前未检查的部分程序。我们还制定了实施方案。

项目成果

Matching MyType with Subtyping

将 MyType 与子类型相匹配

• 期刊: Science of Computer Programming
• 影响因子: 1.3
• 作者: Chieri Saito;Atsushi Igarashi
• 通讯作者: Atsushi Igarashi

Self Type Constructors, ACM Conference on Object-Oriented Programming

自类型构造函数，ACM 面向对象编程会议

• 发表时间: 2009
• 作者: Chieri Saito;Atsushi Igarashi
• 通讯作者: Atsushi Igarashi

プログラミング言語の基礎概念

编程语言的基本概念

• 发表时间: 2011
• 作者: 五十嵐淳

Logical Relations for a Manifest Contract Calculus

清单合约演算的逻辑关系

• 发表时间: 2012
• 作者: Taro Sekiyama;Atsushi Igarashi
• 通讯作者: Atsushi Igarashi

Logical Relations for a Manifest Contract Calculus, Fixed

清单合约演算的逻辑关系，已修复

• 作者: Taro Sekiyama;Atsushi Igarashi
• 通讯作者: Atsushi Igarashi