文件名称:SRCRR160

  • 所属分类:
  • 书籍源码
  • 资源属性:
  • [PDF]
  • 上传时间:
  • 2012-11-26
  • 文件大小:
  • 463kb
  • 下载次数:
  • 0次
  • 提 供 者:
  • 张*
  • 相关连接:
  • 下载说明:
  • 别用迅雷下载,失败请重下,重下不扣分!

介绍说明--下载内容均来自于网络,请自行研究使用

This paper describes an approach for verifying programs in the presence of data

abstraction and information hiding,which are key features of modern program

ming languages with objects and modules.The paper focuses on the property o

modular soundness,that is,the property that the separate verifications of the indi

vidual modules of the program suffice to ensure the correctness of the composite

program.The paper introduces a new specification language construct,the ab

straction dependency,and argues that i s needed to achieve modular soundness

in the presence of data abstraction and information hiding.This paper discusses

in detail two varieties of abstraction dependencies:static and dynamic.The pape

also presents a new technical definition of modular soundness as a monotonicity

property of verifiability with respect to scope and uses this technical definition

to formally prove the modular soundness of a programming discipline for static

dependencies.-This paper describes an approach for verifying programs in the presence of data abstraction and information hiding, which are key features of modern program ming languages with objects and modules.The paper focuses on the property o modular soundness, that is, the property that the separate verifications of the indi vidual modules of the program suffice to ensure the correctness of the composite program.The paper introduces a new specification language construct, the ab straction dependency, and argues that it is needed to achieve modular soundness in the presence of data abstraction and information hiding.This paper discusses in detail two varieties of abstraction dependencies: static and dynamic.The pape also presents a new technical definition of modular soundness as a monotonicity property of verifiability with respect to scope and uses this technical definition to formally prove the modular soundness of a programming discipline for static dependencies.
相关搜索: SrcRR

(系统自动生成,下载前可以参看下载内容)

下载文件列表

SRCRR160.pdf

相关说明

  • 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
  • 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度更多...
  • 请直接用浏览器下载本站内容,不要使用迅雷之类的下载软件,用WinRAR最新版进行解压.
  • 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
  • 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.

相关评论

暂无评论内容.

发表评论

*主  题:
*内  容:
*验 证 码:

源码中国 www.ymcn.org