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

2004 Fiscal Year Annual Research Report

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論

Research Project

Project/Area Number 16300005
Research Category

Grant-in-Aid for Scientific Research (B)

Research InstitutionNagoya University

Principal Investigator

坂部 俊樹  名古屋大学, 大学院・情報科学研究科, 教授 (60111829)

Co-Investigator(Kenkyū-buntansha) 酒井 正彦  名古屋大学, 大学院・情報科学研究科, 教授 (50215597)
草刈 圭一朗  名古屋大学, 大学院・情報科学研究科, 講師 (90323112)
西田 直樹  名古屋大学, 大学院・情報科学研究科, 助手
Keywordsオブジェクト指向計算 / 例外処理 / 型推論 / 項書換え系 / 逆計算
Research Abstract

本研究の目的は,オブジェクト指向プログラムの実行中に発生する例外がもれなく処理されるか否かをプログラムの実行前に検査するための原理を明らかにすることである.これまでの研究で,例外処理機能を追加した単純なオブジェクト指向計算モデルに対して,例外発生の可能性を型として扱うための型システムを提案し,その健全性を証明している.本研究の具体的目標は,単純なオブジェクト指向計算モデルの場合の型推論アルゴリズムを開発すること,および,項書換え系の逆計算技法を用いた高機能なモデルに対する型推論手法を与えることである.
今年度は以下の研究を行った。
1.オブジェクト指向計算モデルのプログラムが与えられたとき,そのプログラムの型を推論するアルゴリズムを与え,実装を行った.この型推論アルゴリズムにより,与えられたプログラムの型が分かり,その型から例外処理洩れの有無が判定できる.
2.上記の型推論アルゴリズムをJavaプログラムの例外処理洩れ検査に応用する手法を開発した.具体的には,例外処理にのみ焦点を絞ってJavaプログラムをオブジェクト指向計算モデルのプログラムに変換し,変換後のプログラムの型推論を行うことで,Javaプログラムの例外処理洩れを検査する方法である.
3.項書換え系の逆計算に関しては,構成子項書換え系というクラスに対して,与えられた項書換え系の逆計算を行う項書換え系を生成するアルゴリズムを与え,その正当性を証明するとともに,逆計算項書換え系の計算が効率良く行えるための条件を明らかにした.また,高階項書換え系に関して停止性判定法および帰納的定理の特性化を与えた.

  • Research Products

    (6 results)

All 2005 2004

All Journal Article (6 results)

  • [Journal Article] Partial Inversion of Constructor Term Rewriting Systems2005

    • Author(s)
      Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
    • Journal Title

      Proc.of RTA'05, LNCS 3467

      Pages: 264-278

  • [Journal Article] On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems2005

    • Author(s)
      M.Sakai, K.Kusakari
    • Journal Title

      IEICE Trans.on Information and Systems E88-D・3

      Pages: 583-593

  • [Journal Article] 右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化2004

    • Author(s)
      西田直樹, 酒井正彦, 坂部俊樹
    • Journal Title

      コンピュータソフトウェア 21・3

      Pages: 40-47

  • [Journal Article] 高階書換え系の決定可能な計算戦略について2004

    • Author(s)
      粕谷英人, 酒井正彦, 阿草青滋
    • Journal Title

      電子情報通信学会技術報告 SS2004-6

      Pages: 1-6

  • [Journal Article] Higher-Order Knuth-Bendix Procedure and its Applications2004

    • Author(s)
      K.Kusakari, Y.Chiba
    • Journal Title

      LA-Symposium 2004(Summer)

      Pages: 9.1-9.12

  • [Journal Article] Characterizing, Proving and Disproving Inductive Theorems in Higher-Order Rewriting2004

    • Author(s)
      K.Kusakari, M.Sakai, T.Sakabe
    • Journal Title

      LA-Symposium 2004(Summer)

      Pages: 8.1-8.11

URL: 

Published: 2006-07-12   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi