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

2007 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 16300005
Research InstitutionNagoya University

Principal Investigator

坂部 俊樹  Nagoya University, 大学院・情報科学研究科, 教授 (60111829)

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

本研究の目的は,オブジェクト指向プログラムの実行中に発生する例外がもれなく処理されるか否かをプログラムの実行前に検査するための原理を明らかにすることである.これまでの研究で,例外処理機能を追加した単純なオブジェクト指向計算モデルに対して,例外発生の可能性を型として扱うための型システムを提案し,その健全性を証明している.本研究の具体的目標は,単純なオブジェクト指向計算モデルの場合の型推論アルゴリズムを開発すること,および,項書換え系の逆計算技法を用いた高機能なモデルに対する型推論手法を与えることである.
今年度は,例外処理付きオブジェクト指向プログラムの安全性について研究を行なった.この研究では,文がスローし得る例外の集合と文に出現する情報流のあるデータの機密度からなる安全型と型システムを導入し,その型システムが非干渉性に対して健全であることを証明した.また,項書き換え系の停止性,木オートマトンにおける到達可能性,動的型付き関数型言語のソフトタイピング等の研究を実施した.これらの研究を統合して,オブジェクト指向プログラムや並行分散プログラムの安全性の解析に応用することは今後の課題として残った.

  • Research Products

    (11 results)

All 2008 2007

All Journal Article (11 results) (of which Peer Reviewed: 5 results)

  • [Journal Article] 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム2008

    • Author(s)
      黒川翔, 桑原寛明, 山本晋一郎, 坂部俊樹, 酒井正彦, 草刈圭一朗, 西田直樹
    • Journal Title

      電子情報通信学会論文誌 J91-D

      Pages: 757-770

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Error Detection with Soft Typing for Dynamically Typed Language2008

    • Author(s)
      Akihisa Yamada, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe and Naoki Nishida
    • Journal Title

      IEICE Technical Report SS2007-58 107

      Pages: 7-12

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques2008

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      IEICE Technical Report SS2007-60 107

      Pages: 19-24

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] 等式を規則化する変換の停止条件2008

    • Author(s)
      水野清貴, 西田直樹, 坂部俊樹、酒井正彦, 草刈圭一朗
    • Journal Title

      電子情報通信学会技術研究報告(SS2007-61) 107

      Pages: 25-30

    • Description
      「研究成果報告書概要(和文)」より
  • [Journal Article] Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting2007

    • Author(s)
      Keiichirou Kusakari, Masahiko Sakai
    • Journal Title

      Applicable Algebra in Engineering, Communica-tion and Computing 18

      Pages: 407-431

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] 単純型項書き換え系上の依存対法における実効規則と直積型項へのラベル付け2007

    • Author(s)
      櫻井敬大、草刈圭一朗、酒井正彦、坂部俊樹、西田直樹
    • Journal Title

      電子情報通信学会論文誌 J90-D

      Pages: 978-989

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Decidability of Innermost Termination and Context-Sensitive Termina-tion for Semi-Constructor Term Rewriting Systems2007

    • Author(s)
      Keita Uchiyama, Masahiko Sakai and Toshiki Sakabe
    • Journal Title

      Proc. of 7th International Workshop on Reduc-tion Strategies in Rewriting and Programming

      Pages: 16-27

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Convergent Term Rewriting Systems for Inverse Computation of Injec-tive Functions2007

    • Author(s)
      Naoki Nishida, Masahiko Sakai, and Terutoshi Kato
    • Journal Title

      Proc. of the 9th International Workshop on Ter-mination

      Pages: 77-81

    • Peer Reviewed
  • [Journal Article] Static Dependency Pair Method for Proving Termination of Higher-Order Rewriting Systems2007

    • Author(s)
      Kiichirou Kusakari, Yasuo Iso-gai, Masahiko Sakai, Toshiki Sakabe Naoki Nishida
    • Journal Title

      電子情報通信学会技術研究報告(SS2007-12) 107

      Pages: 17-22

  • [Journal Article] 左線形は定向条件付き項書換え系における到達可能な項集合の近似集合を認識する木オートマトン2007

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

      電子情報通信学会技術研究報告(SS2007-16) 107

      Pages: 1-6

  • [Journal Article] 振舞等価性の証明のための等式付き書換えに基づく潜在帰納法2007

    • Author(s)
      笹田悠司、酒井正彦、西田直樹、坂部俊樹、草刈圭一朗
    • Journal Title

      電子情報通信学会技術研究報告(SS2007-17) 107

      Pages: 7-12

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi