Paragon: Programming with Information Flow Control (Demo).

Niklas Broberg,Bart van Delft,David Sands

PLDI（2014）

引用 1|浏览10

暂无评分

摘要

ABSTRACTWe demonstrate Paragon, a Java-based programming language with integrated information-flow control. We show how the use of information-flow policies combined with encapsulation allows for simple yet powerful and flexible policy libraries tailored to the needs of a particular application or system.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要