Author:
Martin Ursula,Mathiesen Erik A.,Oliva Paulo
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abramsky, S., Gay, S., Nagarajan, R.: Specification structures and propositions-as-types for concurrency. In: Birtwistle, G., Moller, F. (eds.) Logics for Concurrency: Structure vs. Automata, pp. 5–40. Springer, Heidelberg (1996)
2. Apt, K.R.: Ten years of Hoare’s logic: A survey – Part 1. ACM Transactions on Programming Languages and Systems 3(4), 431–483 (1981)
3. Bainbridge, E.S.: Feedback and generized logic. Information and Control 31, 75–96 (1976)
4. Berger, M., Honda, K., Yoshida, N.: A logical analysis of aliasing in imperative higher-order functions. In: ICFP 2005, pp. 280–293 (2005)
5. Blass, A., Gurevich, Y.: The underlying logic of Hoare logic. Bull. of the Euro. Assoc. for Theoretical Computer Science 70, 82–110 (2000)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Indexed and fibered structures for partial and total correctness assertions;Mathematical Structures in Computer Science;2022-09-19
2. Weakest preconditions in fibrations;Mathematical Structures in Computer Science;2022-04
3. Graded Hoare Logic and its Categorical Semantics;Programming Languages and Systems;2021
4. A Hoare logic for linear systems;Formal Aspects of Computing;2013-05