FlexJava公司

FlexJava:安全和模块化近似编程的语言支持。在本文中,我们描述了FlexJava,一个小的语言扩展集,它显著地减少了注释工作量,为实际的近似编程铺平了道路。这些扩展使程序员能够注释近似容差方法的输出。FlexJava编译器配备了近似安全分析,它自动推断影响这些输出的操作和数据,并有选择地将它们标记为可接近的,同时提供安全保证。自动化和语言-编译器的代码设计减轻了程序员手动和显式地注释数据声明或操作的近似安全性。FlexJava旨在支持软件开发中的安全性、模块性、通用性和可伸缩性。我们已经将FlexJava注释实现为一个Java库,并使用各种Java应用程序展示了它的实用性。此复制包包含支持细粒度和粗粒度近似的FlexJava编译器。请注意,FlexJava语言/编译器能够支持一般类型的粗粒度近似技术,但这里我们提供NPU框架作为其使用示例。对于细粒度近似,我们还包括了改进的EnerJ模拟器,它允许您执行FlexJava二进制文件以进行质量和能量测量。此外,我们在论文中使用的所有实验基准都包含在这个包中。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. He,Shaobo;Lahiri,Shuvendu K.;Rakamarić,Zvonimir:验证程序近似的相对安全性、准确性和终止性(2018年)