Leino，K.Rustan M。 构造具有异常的程序。 （英语） Zbl 0875.68200号 信息处理。莱特。 第3期第53页，第159-163页（1995年）. 摘要：异常是结构化跳转的一种形式。使用异常的程序有时可以用比没有异常的类似程序更简单、更容易理解和更高效的方式编写。此外，与没有异常的语言相比，有异常的语言中的程序构造不难推理。事实上，这些结构中最弱的前提条件构成了一个关于两个参数函数的很好的代数。我们用计算方法证明了该代数中的一些定理，然后给出了一个简单程序的新推导。 MSC公司： 68号01 软件理论的一般主题 68问题55 计算理论中的语义学 关键词：编程计算;例外情况;程序派生;形式语义学 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}，Inf.过程。莱特。53，第3号，159--163（1995；Zbl 0875.68200） 全文： 内政部 参考文献： [1] Cristian，F.，《正确且稳健的程序》，IEEE Trans。软件工程，10163-174（1984）·兹比尔0532.68021 [2] Dijkstra，E.W.，《编程学科》（1976年），Prentice Hall出版社：Prentice Hall Englewood Cliffs，NJ·Zbl 0286.00013号 [3] Dijkstra，E.W。；Feijen，W.H.J.，《编程方法》（1988），艾迪生-韦斯利：艾迪生·韦斯利阅读，马萨诸塞州·Zbl 0681.68001号 [4] Gries，D.，《编程科学》（1981），《施普林格：柏林施普林格》·Zbl 0472.68003号 [5] 金·S。；Morgan，C.C.，《退出精化演算》（技术报告PRG-TR-6-93（1993），编程研究小组：牛津编程研究小组）·Zbl 0817.68040号 [6] Leino，K.R.M。；van de Snepscheut，J.L.A.，《例外语义》，（Olderog，E.-R.，Proc.IFIP WG2.1/WG2.2/WG2.3编程概念、方法和计算工作会议，Proc.IFIP WG2.1/WG2.2/WG2.3程序设计概念、方法与计算工作会，意大利圣米尼亚托，1994年6月6日至10日（1994），Elsevier:Elsevier Amsterdam），447-466 [7] 马纳塞，M.S。；Nelson，C.G.，《控制结构的正确汇编》（技术报告（1984年9月），AT&T贝尔实验室） [8] 马诺哈尔，R。；Leino，K.R.M.，《条件合成的理论和应用》（技术报告Caltech-CS-TR-94-12（1994），加州理工学院） [9] Rubin，F.，“GOTO被认为有害”，《美国通信管理委员会》，第30、3、195-196页（1987年），（另见5月至8月、11月和12月对这封信的回复。） [10] van de Snepscheut，J.L.A.，《计算到底是什么》（1993），《施普林格：施普林格柏林》·Zbl 0817.68006号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。