JFlow: Practical Mostly-Static Information Flow Control
Javaの機能を極力削らないようにしながら情報流解析を導入して拡張した言語JFlowの論文。型システムとかの詳細は省かれていて、言語の解説がほとんど。Jifという後継(?)がある。
author="Andrew C.Myers",
title="{JFlow: Practical Mostly-Static Information Flow Control}",
booktitle="POPL'99",
publisher="ACM Press",
pages="228--241",
year="1999"