A type system equivalent to static single assignment

Yutaka Matsuno, Atsushi Ohori

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

This paper develops a static type system equivalent to static single assignment (SSA) form. In this type system, a type of a variable at some program point represents the control flows from the assignment statements that reach the program point. For this type system, we show that a derivable typing of a program corresponds to the program in SSA form. By this result, any SSA transformation can be interpreted as a type inference process in our type system. By adopting a result on efficient SSA transformation, we develop a type inference algorithm that reconstructs a type annotated code from a given code. These results provide a static alternative to SSA based compiler optimization without performing code transformation. Since this process does not change the code, it does not incur overhead due to insertion of φ functions. Another advantage of this type based approach is that it is not constrained to naming mechanism of variables and can therefore be combined with other static properties useful for compilation and code optimization such as liveness information of variables. As an application, we express optimizations as type-directed code transformations.

本文言語English
ホスト出版物のタイトルPPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
出版社Association for Computing Machinery
ページ249-259
ページ数11
ISBN(印刷版)1595933883, 9781595933881
DOI
出版ステータスPublished - 2006 1 1
イベントPPDP'06 - 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming - Venice, Italy
継続期間: 2006 7 102006 7 12

出版物シリーズ

名前PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2006

Other

OtherPPDP'06 - 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
国/地域Italy
CityVenice
Period06/7/1006/7/12

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「A type system equivalent to static single assignment」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル