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

著录项

• 来源
  《電子情報通信学会論文誌》 |2008年第1期|757-770|共14页
• 作者

  黒川　翔; 桑原　寛明; 山本晋一郎; 坂部　俊樹; 酒井　正彦; 草刈圭一朗; 西田　直樹;

  展开▼
• 作者单位

  （株）デンソー;

  刈谷市;

  立命館大学情報理工学部;

  草津市;

  愛知県立大学情報科学部;

  愛知県;

  名古屋大学大学院情報科学研究科;

  名古屋市;

  名古屋大学大学院情報科学研究科;

  名古屋市;

  名古屋大学大学院情報科学研究科;

  名古屋市;

  名古屋大学大学院情報科学研究科;

  名古屋市;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 jpn
• 中图分类
• 关键词

  セキュリティ検査; 情報流解析; 型システム; 例外処理;

  机译：安全检查;信息流分析;类型系统;异常处理;