时段演算相关论文
随着科技的进步,尤其是电子技术的长足发展,以及社会生产和生活的需求,计算机相关的技术对各种技术领域的涉及程度越来越广泛和深......
程序正确性验证不仅是计算机科学界一直关注的一个重要问题,也是推动计算机科学发展的主要动力之一。分离逻辑是此问题研究下出现......
研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里，程序变量被解释成时间的函数. 为了定义局部变量声明的语义，必须引进......
