×

Java通用作战图

swMATH ID: 30241
软件作者: Markstrum,S。;马里诺,D。;Esquivel,M。;Millstein,T。;安德烈,C。;J·诺布尔
描述: JavaCOP:java的声明性可插入类型。可插入类型使用户能够在一种编程语言中实施多种类型的系统。我们开发了一套工具,称为JavaCOP框架,允许开发人员为Java创建可插入类型的系统。JavaCOP提供了一种简单的声明性语言,其中程序约束是在程序的抽象语法树上定义的。JavaCOP编译器在编译期间自动对程序实施这些约束。JavaCOP框架还包括一个数据流分析API,以支持依赖流敏感信息的类型系统。最后,JavaCOP包括一个新的测试框架,帮助用户对其可插入类型系统的正确性获得信心。我们通过讨论一些在JavaCOP中实现的可插入类型系统来演示该框架,以检测错误并在程序中实施强不变量。这些类型系统的范围从通用检查器(例如用于非空引用的类型系统)到特定于域的检查器(如用于符合库的使用规则的检查器)。
主页: https://dl.acm.org/citation.cfm?doid=1667048.1667049
依赖项: Java语言
相关软件: 美赞臣;甲骨文公司;塞西尔;斯卡拉
引用于: 0个文档