Polymorphic fractional capabilities

Hirotoshi Yasuoka, Tachio Terauchi

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed by Boyland for checking the determinism of parallel reads in multi-thread programs, extend the capability calculus by extending the capabilities to range over the rational numbers. Fractional capabilities have since found numerous applications, including race detection, buffer bound inference, security analyses, and separation logic. However, previous work on fractional capability systems either lacked polymorphism or lacked an efficient inference procedure. Automated inference is important for the application of the calculus to static analysis. This paper addresses the issue by presenting a polymorphic fractional capability calculus that allows polynomial-time inference via a reduction to rational linear programming.

本文言語English
ホスト出版物のタイトルStatic Analysis - 16th International Symposium, SAS 2009, Proceedings
ページ36-51
ページ数16
DOI
出版ステータスPublished - 2009
外部発表はい
イベント16th International Symposium on Static Analysis, SAS 2009 - Los Angeles, CA, United States
継続期間: 2009 8 92009 8 11

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5673 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other16th International Symposium on Static Analysis, SAS 2009
国/地域United States
CityLos Angeles, CA
Period09/8/909/8/11

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Polymorphic fractional capabilities」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル