诉讼

开发能够自动验证程序是否符合其规范的编译器的梦想仍然是一个持续的挑战。这样的“验证编译器”（最终）即将进入主流软件开发。这是。。。

现代应用程序通常管理时变数据。尽管对时态数据库进行了数十年的研究，最终将时态数据操作添加到SQL:2011标准中，但时态数据查询和操作操作。。。

增量计算通过更新输出对输入更改作出反应。与非增量重新运行相比，增量计算可以提供数量级的加速，因为通常小的输入更改会触发小的输出更改。一个流行的。。。

嵌套递归计算的性能瓶颈之一是在不同递归级别创建的中间集合。现有的垂直和水平环路融合技术并没有消除这种中间。。。

在过去的几十年里，人们对控制算子的操作行为进行了全面的研究，但对控制算子类型系统的研究还没有。换档、控制和换档有不同的类型系统，它们之间没有任何关系。。。

Racket提供了具有宏观可扩展序列表达式的循环。序列宏提供了比动态序列实现更好的性能，但它们的定义很复杂，而且Racket几乎不支持创建新的序列宏。。。

无人空中系统（UAS，通常称为无人机）在许多应用领域都很有用，例如物流和精确农业，尤其是当它们飞越视线（BVLOS）时。为了有效地使用多个无人机执行BVLOS任务。。。

遗传规划（GP）是一种启发式方法，可以应用于许多机器学习、优化和工程问题。特别是，它已广泛应用于软件工程中的测试用例生成、程序合成和。。。

象棋等基于回合的游戏非常流行，但为其开发过程量身定制的工具尚不多见。在本文中，我们提出了一个模型驱动和生成的工具链，旨在涵盖基于规则的游戏的整个开发过程。。。

物联网（IoT）设备及其执行的软件通常与供应商在工厂预安装其软件密切相关。未来的物联网应用程序预计将通过应用程序商店分发。硬-…之间的强耦合。。。

即使是没有气味的代码也可能存在高风险形成它们。在这种情况下，开发人员可以执行预防性重构以减少这种情况风险，或者保留代码并执行纠正气味出现时重构。在。。。

验证可配置软件系统是一项挑战，因为可能有数百万种配置，这使得单独测试每个配置都不可行。因此，现有的采样算法允许计算具有代表性的子集。。。

应对不同和不断变化的需求会导致并行产品（空间变化）和后续修订（时间变化）。此外，产品由代表不同种类工件的相关模型组成。。。

C++是一种多参数语言，它使程序员能够轻松地建立高效的图像处理算法。这种语言优势来自许多方面。C++是高级的，因此它可以开发强大的抽象和混合。。。

泛型编程是一种强大的范式，它抽象数据结构和算法，以提高其可重用性，只要它们尊重给定的接口。再加上表演驱动的语言，它是科学。。。

Java8中引入了JavaStreamAPI，允许开发人员通过定义数据处理操作的管道来以函数风格表达计算。尽管此API的重要性与日俱增，但缺乏基准。。。