命令式程序相关论文
霍尔逻辑是一种众所周知的基于一阶逻辑对命令式程序的行为进行推理和验证的形式系统。然而，使用霍尔逻辑对于存在指针和动态数据结......
研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象，另一方面当它出......
作为软件完全正确性的重要组成部分，程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法，调研该领域的最......
