多个代理按照共同规范建模软件开发的逻辑框架
摘要：程序开发的问题是让多个不同的程序员（或编程团队）在不同的环境（程序语言或推理框架）下开发，但是他们都遵循相同的规范。在本文中，我们研究了在抽象层面上解决由不同程序生成的程序之间的可转换性问题。为了达到这个目的，在考虑一些关于程序开发的哲学问题之后，包括它与科学理论构建的相似之处和不同之处，我们扩展了一个用于描述相对论环境中的科学理论构建的逻辑框架：我们的扩展增加了对程序的推理能力、它们生成的迭代过程和它们的规范。因此，我们能够定义一个程序生成器输出之间的翻译概念，并证明当两个程序生成器可靠地遵循相同规范（在一定的可靠性意义上）时，存在（显而易见的）这样一个翻译。
作者：Georgios V. Pitsiladis, Petros S. Stefaneas
论文ID：2211.01341
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-13