关于

Paragon是编程语言Java的一种语言扩展，支持使用信息流控件进行实际编程。

下载

要编译和运行Paragon程序，您需要Paragon编译器以及接口文件和Paragon运行时环境的集合。选择正确的版本：

第0.1段支持显式参与者（如流行'10纸张）。
第0.2段支持对象作为参与者（如2013年APLAS纸张）。

					接口文件	运行时
第0.1段	32位	64位	64位	来源	libPI.zip	图书馆
第0.2段	32位	64位	64位	来源	libPI.zip文件	paragon_rt.jar型

Paragon 0.2也可以从Hackage安装：阴谋集团安装典范

>使用说明

教程

通过我们的在线互动教程开始使用Paragon，或者看看我们的一些案例研究。

• 辅导的：交互式的或作为pdf格式.
• 案例研究：密封投标拍卖.
• 案例研究：社交网络.
• 案例研究：智力扑克.
• 案例研究：ParaJPMail邮件.

出版物

选定出版物：

• 信息流控制实用程序设计段落 Niklas Broberg、Bart van Delft和David Sands 2013年亚洲编程语言与系统研讨会（APLAS），斯普林格 [.pdf格式][技术报告] Paragon编程语言简介。
• Paralocks-基于角色的信息流控制甚至更远 Niklas Broberg和David Sands POPL'10，第37届年度ACM会议记录SIGACT-SIGPLAN编程语言原理研讨会 [.pdf格式] 用于的Paralocks语言的描述指定信息流策略。

其他出版物：

• Paralocks的数据日志语义 Bart van Delft、Niklas Broberg和David Sands 第八届国际研讨会会议记录2012年施普林格安全与信任管理（STM） [.pdf格式] Paralocks的更新、更直观的语义语言。
• 动态的流敏感语义信息流策略 Niklas Broberg和David Sands ACM SIGPLAN第四次编程语言研讨会《安全分析》（2009年版） [.pdf格式] Flow Locks的延续，早期版本Paralocks，具有更新的语义。
• 流锁：面向核心演算动态流策略 Niklas Broberg和David Sands 编程语言和系统。第15位欧洲人2006年斯普林格·弗拉格ESOP编程研讨会 [.pdf格式][扩展版本] Paralocks策略的早期版本规范语言。有趣但对当前项目来说过时了。
• 信息流控制编程 扬尼克·扎科夫斯基 实施报告 [.pdf格式] 一份关于零点分析实施情况的报告。

联系人

有关Paragon的问题可以向当前开发人员提出：尼古拉斯·布罗伯格,巴特·范·德尔夫特和大卫·桑德斯.

以前的贡献者：菲利波·德尔·特德斯科（Filippo Del Tedesco）、延斯·利德斯特伦（Jens Lideström）、德米特罗·利帕伊（Dmytro Lypai）、沙扬·内贾德·贾瓦迪普尔（Shayan Najd Javadipour）、，贾维德·纳齐尔和扬尼克·扎科夫斯基。