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

2005 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 16300005
Research InstitutionNagoya University

Principal Investigator

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

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

本研究の目的は,オブジェクト指向プログラムの実行中に発生する例外がもれなく処理されるか否かをプログラムの実行前に検査するための原理を明らかにすることである.これまでの研究で,例外処理機能を追加した単純なオブジェクト指向計算モデルに対して,例外発生の可能性を型として扱うための型システムを提案し,その健全性を証明している.本研究の具体的目標は,単純なオブジェクト指向計算モデルの場合の型推論アルゴリズムを開発すること,および,項書換え系の逆計算技法を用いた高機能なモデルに対する型推論手法を与えることである.
今年度は,並行分散プログラムの通信エラーの検査を型システムにより行う手法,通信の安全性を保証する方法としてカラーペトリネットを利用する手法,高階関数プログラムの停止性証明について研究を行った.
1.エージェントの移動機能を記述できる並行分散計算モデルJoin Calculusとオブジェクト指向言語Javaを融合した言語JoinJAVAを設計し,その処理系を開発した.また,プログラムの通信エラーを静的に検査するための型判定システムを与え,その健全性を証明した.
2.秘密の情報が第3者に知られないこと,すなわち,機密性は通信プロトコルの最も重要な性質の一つである.通信プロトコル記述言語で書かれたプロトコルをカラーペトリネットに変換し,プロトコルの機密性を変換で得られたカラーペトリネットの到達可能性問題に帰着する手法を与えた.この変換より,機密性の十分条件を判定できることを明らかにした.
3.項書換え系の停止性証明に用いられる辞書式経路順序を高階関数を扱う関数プログラムに適用できるように拡張する方法を3種類与え,様々な項集合でのそれぞれの拡張の性質を明らかにした.

  • Research Products

    (6 results)

All 2006 2005

All Journal Article (6 results)

  • [Journal Article] 項正規表現に基づくSpi計算の機密性検証2006

    • Author(s)
      田代善彦, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告SS2005-82 105・596

      Pages: 30.1-30.6

  • [Journal Article] 紐解かれた項書換え系の文脈依存条件の除去のための変換2006

    • Author(s)
      水谷知博, 西田直樹, 酒井正彦, 草刈圭一朗, 坂部俊樹
    • Journal Title

      冬のLAシンポジウム

      Pages: 30.1-30.6

  • [Journal Article] 関数プログラムの停止性証明に関する辞書式経路順序2006

    • Author(s)
      星野由美, 草刈圭一朗, 酒井正彦, 坂部俊樹, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告 105・596

      Pages: 35-40

  • [Journal Article] 分散JoinJAVAプログラムの通信エラーに対する型判定システム2005

    • Author(s)
      佐伯昌樹, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告SS2005-67 105・491

      Pages: 25-30

  • [Journal Article] 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証2005

    • Author(s)
      奥谷大介, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術研究報告SS2005-58 105・490

      Pages: 19-24

  • [Journal Article] 重なりを持つTRSにおける最外戦略の完全性について2005

    • Author(s)
      岩田篤史, 酒井正彦, 西田直樹, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会技術報告 105・331

      Pages: 39-44

URL: 

Published: 2007-04-02   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi