Inference rules for programming languages with side effects in expressions-Reference-Cited by-同舟云学术

Inference rules for programming languages with side effects in expressions

Published:1996 Issue: Volume: Page:51-60
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Black Paul E.,Windley Phillip J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0105396

Reference20 articles.

1. Sten Agerholm, “Mechanizing Program Verification in HOL,” in Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications (HOL’ 91), edited by Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, and Phillip J. Windley, IEEE Computer Society Press, Los Alamitos, California, 1991, pp. 208–222.

2. Michael A. Arbib and Suad Alagić, “Proof Rules for Gotos,” Acta Information, Vol. 11, No. 2, 1972, pp. 139–148.

3. Paul E. Black and Phillip J. Windley, “Automatically Synthesized Term Denotation Predicates: A Proof Aid,” in Higher Order Logic Theorem Proving and Its Applications (HOL’ 95), edited by E. Thomas Schubert, Phillip J. Windley, and James Alves-Foss, Springer-Verlag, Berlin, Germany, 1995, pp. 46–57.

4. Holger Busch, “A Practical Method for Reasoning about Distributed Systems in a Theorem Prover,” in Higher Order Logic Theorem Proving and Its Applications (HOL’ 95), edited by E. Thomas Schubert, Phillip J. Windley, and James Alves-Foss, Springer-Verlag, Germany, 1995, pp. 106–121.

5. Frederick B. Cohen, “Why is thttpd Secure?” http://all.net/ManAl/white/whitepaper.html or http://all.net/ → Products → Secure http and gopher daemons (14 March 1996).

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An independent axiomatisation for free short-circuit logic;Journal of Applied Non-Classical Logics;2018-01-02

2. Formalization and Verification of a Mail Server in Coq;Software Security — Theories and Systems;2003