语义函数相关论文
为了使用形式化方法对PLC程序的正确性验证奠定基础，研究PLC程序语言的指称语义定义，以实现对PLC形式化定义和检测验证。基于程序建......
该文给出了一个JVML子集的在线部分计值器.在线部分计值器是由静态参数的具体值一步计算完成而得到剩余程序,它产生剩余程序的时间......
给出了XPath语义的简洁定义，使用XPath标准的语法格式说明查询步骤，并通过一个具体实例说明定位路径的方法，实现了XPath与XSLT结合的X......
定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式......
