デバッギングを指向した型推論に関する研究

用于调试的类型推断研究

• 批准号: 13780210
• 负责人: 西崎 真也
• 金额: $ 1.41万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780210/
• 关键词: デバッギング; 型推論; プログラミング言語; 関数型言語

平成14年度においては、次のような事項について研究を推進した。《先進的な型推論アルゴリズムの調査・分析》近年提唱された先進的な型推論アルゴリズムについて、網羅的に調査をおこない、デバッグ作業の支援という観点から検討・分析に取り組んだ。とくに、コンカレント・プログラミングのための型推論や、セキュア・プログラミングのための型推論などを中心にすえた。《デバッグ作業を支援するための型推論の拡張》前項で調査した「先進的な型推論アルゴリズム」に対する検討を基にして、平成13年度の「デバッグ作業を支援するための型推論の開発」の成果の拡張に取り組んだ。《プロトタイプシステムの実装》平成13年度の「デバッグ作業を支援するための型推論の開発」で得られた理論的成果、および、前項により得られた成果について、プロトタイプシステムを実装することを通して、実際的な観点から、有用性について評価をおこない、従来の言語処理系における型推論との比較検討をおこなった。

In the Heisei 14 fiscal year, にお にお て て, and the following <s:1> ような matters に, に, て, て research を and promotion of を た. The advanced な type inference ア ル ゴ リ ズ ム の investigation, analysis in recent years to sing さ れ た advanced な type inference ア ル ゴ リ ズ ム に つ い て に survey, a net を お こ な い, デ バ ッ グ homework の support と い う 観 point か ら 検 group, please take analysis に り ん だ. と く に, コ ン カ レ ン ト · プ ロ グ ラ ミ ン グ の た め の type inference や, セ キ ュ ア · プ ロ グ ラ ミ ン グ の た め の type inference な ど を center に す え た. The デ バ ッ グ homework を support す る た め の type inference の company, zhang "で referred to in the preceding paragraph shall investigate し た" advanced な type inference ア ル ゴ リ ズ ム "に す seaborne る beg を 検 base に し て, pp.47-53 13 year の" デ バ ッ グ homework を support す る た め の type inference の 発 "の results の group company, zhang に take り ん だ. The プ ロ ト タ イ プ シ ス テ ム の be installed "の pp.47-53 13" デ バ ッ グ homework を support す る た め の type inference の 発 "で have ら れ た theory achievements, お よ び, referred to in the preceding paragraph に よ り have ら れ た results に つ い て, プ ロ ト タ イ プ シ ス テ ム を be loaded す る こ と を tong し て, be interstate な 観 point か ら, usefulness に つ い て review 価 を お こ な い Youdaoplaceholder0 uses the における type inference of the <s:1> language processing system to compare と <s:1> and 検 discuss をお なった なった なった.

项目成果

西崎真也, 小田崇史: "ファーストクラス継続をもつオブジェクト計算"情報処理学会第42回プログラミング研究会. (2003)

Shinya Nishizaki、Takashi Oda：“具有一流延续性的对象计算”日本信息处理协会第 42 届编程研讨会（2003 年）。

須藤正人, 西崎真也: "名前呼び環境PCFの意味論"情報処理学会論文誌. 43巻SIG03号. (2002)

Masato Sudo，Shinya Nishizaki：“名称调用环境 PCF 的语义”，日本信息处理学会汇刊，第 43 卷，第 SIG03。

西崎真也, 冨岡大悟, 大石浩司: "計算機構成型を導入した、DoS耐性解析におけるコスト評価のための計算体系"日本ソフトウェア科学会第19回大会. (2002)

Shinya Nishizaki、Daigo Tomioka、Koji Oishi：“引入计算机配置类型的 DoS 抵抗分析中的成本评估计算系统”日本软件学会第 19 届年会（2002 年）。