FlexJava软件 swMATH ID: 22892 软件作者： Park，J.、Esmaeilzadeh，H.、Zhang，X.、Naik，M.、Harris，W。 描述： FlexJava：支持安全模块化近似编程的语言。在本文中，我们描述了FlexJava，这是一个小的语言扩展集，它大大减少了注释工作，为实际的近似编程铺平了道路。这些扩展使程序员能够注释近似容错方法的输出。配备近似安全分析的FlexJava编译器会自动推断影响这些输出的操作和数据，并有选择地将其标记为近似值，同时提供安全保证。自动化和语言-编译器协同设计使程序员不用手动显式地注释数据声明或操作，使其更安全。FlexJava旨在支持软件开发中的安全性、模块性、通用性和可扩展性。我们已经将FlexJava注释实现为一个Java库，并使用广泛的Java应用程序演示了它的实用性。此复制包包含支持细粒度和粗粒度近似的FlexJava编译器。请注意，FlexJava语言/编译器能够支持一般类型的粗粒度近似技术，但这里我们提供NPU框架作为其使用的示例。对于细粒度近似，我们还包括了修改过的EnerJ模拟器，它允许您执行FlexJava二进制文件以进行质量和能量测量。此外，我们在论文中用于实验的所有基准都包含在包中。 主页： https://www.cc.gatech.edu/~jpark632/flexjava.html 相关软件： 胡迪尼;布吉;Rely公司;绿色;EnerJ公司;接受;凿子;SymDiff公司;PVS公司;Coq公司 引用于： 1文件 3位作者引用 1 何绍波 1 拉希里、舒文杜·库马尔 1 茨沃尼米尔·拉卡马里奇 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文