作者:雷富兴 张来顺hoare逻辑过程语义过程调用语义前置条件后置条件
摘要:采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提取过程的形式化语义规范。对于一个具体的过程调用,形式化这个调用的前置条件,根据这些条件形式化求解调用的最强后置条件,也就是调用的语义作用。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算机工程与设计》(CN:11-1775/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
北大期刊、统计源期刊
人气 542278 评论 58
部级期刊
人气 230144 评论 65
人气 228832 评论 63
人气 214524 评论 35