关于

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

下载

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

典范0.1支持显式参与者（如10年纸张）。
典范0.2支持对象作为参与者（如阿普拉斯13纸张）。

					接口文件	运行时
典范0.1	32位	64位	64位	来源	libPI.zip文件	伦敦银行同业拆借
典范0.2	32位	64位	64位	来源	libPI.zip文件	paragon\u rt.jar公司

Paragon 0.2也可以从Hackage安装：paragon cabal安装

>使用说明

教程

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

• 辅导的：交互式或者作为pdf格式.
• 案例研究：密封竞价.
• 案例研究：社交网络.
• 案例研究：心理扑克.
• 案例研究：副邮递员.

出版物

精选出版物：

• 信息流控制实用程序设计范例 尼克拉斯·布罗伯格、巴特·范代尔夫特和大卫·桑兹 2013年亚洲编程语言与系统研讨会（APLAS），斯普林格 [.pdf格式] [技术报告] Paragon编程语言简介。
• Paralocks-基于角色的信息流控制 尼古拉斯·布罗伯格和大卫·桑兹 POPL'10，第37届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集 [.pdf格式] 用于指定信息流策略的Paralocks语言的说明。

其他出版物：

• 副锁的数据日志语义 巴特·范代尔夫特、尼克拉斯·布罗伯格和大卫·桑兹 2012年第八届安全与信任管理（STM）国际研讨会论文集，斯普林格 [.pdf格式] 为Paralocks 语言提供了一个更新的、更直观的语义。
• 动态信息流策略的流敏感语义 尼古拉斯·布罗伯格和大卫·桑兹 ACM SIGPLAN第四次编程语言与安全分析研讨会（PLAS 2009） [.pdf格式] Flow Locks的延续，早期版本的 Paralocks，具有更新的语义。
• 流锁：动态流策略的核心演算 尼古拉斯·布罗伯格和大卫·桑兹 程序设计语言和系统。第15届欧洲编程研讨会，ESOP 2006，Springer Verlag [.pdf格式] [扩展版] Paralocks策略规范语言的早期版本。有趣但对当前项目来说过时了。
• 信息流控制编程 亚尼克·扎科夫斯基 实施报告 [.pdf格式] 关于我们的空指针分析实现的报告。

联系人

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

以前的贡献者：菲利波·德尔·泰德斯科、詹斯·利德斯特伦、德米特罗·莱佩、沙扬·纳吉德·贾瓦迪普尔、贾维德·纳齐尔和扬尼克·扎科夫斯基。