Type Annotation for Static Program Analysis / 櫻庭 祐一

[making]

セッション情報 / Session Detail

タイトル / Title

Type Annotation for Static Program Analysis

概要 / Description

Java SE 8ではProject LambdaやDate & Time APIが注目されていますが、アノテーションも大きく変化しました。最も大きな変化は、型に対してアノテーションが書けるようになったことです。たとえば、ジェネリクスの型パラメータなどにもアノテーションが書けるようになったのです。

型に対するアノテーションを導入することで、プログラムにさまざまな制約を記述することができるようになりました。これを利用したのが静的コード解析ツールです。本セッションでは静的コード解析ツールのChecker Frameworkを題材に、新しいアノテーションの活用方法をご紹介します。

カテゴリ / Category

• Java SE
• Java EE or Server Side Java (ex. Spring)
• Java ME or Embedded Java
• Java VMs
• JVM Languages
• Development and operations
• その他:

難易度 / Level

• 初心者向け / Beginner
• 中級者向け / Intermediate
• 上級者向け / Advanced

種類 / Talk Type

• Standard (50min)
• Short (20min)
• Workshop (2h)

言語 / Language

• 日本語 / Japanese
• 英語 / English
• その他 / Other

講演者情報 / Speaker

氏名 / Name

櫻庭 祐一

所属 / Company or Communities

Java in the Box

講演者紹介 / Bio

Java一筋20年。

コミュニティ活動、BlogのURL、Twitterアカウントなど / Activities

Twitter: @skrb
Blog: http://www.javainthebox.com/
Web: http://www.javainthebox.net/
GitHub: https://github.com/skrb
Java Champion