咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 procedures as pa...
  • 1 篇 call-by-name
  • 1 篇 recursive proced...
  • 1 篇 static scope
  • 1 篇 call-by-variable
  • 1 篇 total correctnes...
  • 1 篇 expressiveness
  • 1 篇 dynamic scope
  • 1 篇 call-by-value
  • 1 篇 completeness in ...
  • 1 篇 while programs
  • 1 篇 soundness
  • 1 篇 arithmetical int...
  • 1 篇 variable declara...
  • 1 篇 subscripted vari...
  • 1 篇 partial correctn...
  • 1 篇 hoare's logic

机构

  • 1 篇 erasmus universi...

作者

  • 1 篇 apt krzysztof r.

语言

  • 1 篇 英文
检索条件"主题词=procedures as parameters"
1 条 记 录,以下是1-10 订阅
排序:
Ten Years of Hoare's Logic: A Survey—Part I
收藏 引用
ACM Transactions on Programming Languages and Systems (TOPLAS) 1981年 第4期3卷 431-483页
作者: Apt, Krzysztof R. Erasmus University
A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented. Emphasis is placed on the soundness and completeness issues. Various proof systems for whi... 详细信息
来源: 评论