Generic Hoare Logic for Order-Enriched Effects with Exceptions-Reference-Cited by-同舟云学术

Generic Hoare Logic for Order-Enriched Effects with Exceptions

Published:2017 Issue: Volume: Page:208-222
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Rauch Christoph,Goncharov Sergey,Schröder Lutz

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-72044-9_14

Reference21 articles.

1. Adámek, J., Milius, S., Velebil, J.: Equational properties of iterative monads. Inf. Comput. 208(12), 1306–1348 (2010)

2. Barr, M., Wells, C. (eds.): Category Theory for Computing Science, 2nd edn. Prentice Hall International (UK) Ltd., London (1995)

3. Bloom, S.L., Ésik, Z.: Iteration Theories: The Equational Logic of Iterative Processes. Springer-Verlag New York, Inc., New York (1993). https://doi.org/10.1007/978-3-642-78034-9

4. Cenciarelli, P., Moggi, E.: A syntactic approach to modularity in denotational semantics. In: Category Theory and Computer Science, CTCS 1993 (1993)

5. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453–457 (1975)

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

1. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20

2. Dijkstra’s Legacy on Program Verification;Edsger Wybe Dijkstra;2022-07-12

3. Weakest preconditions in fibrations;Mathematical Structures in Computer Science;2022-04

4. Weakest Preconditions in Fibrations;Electronic Notes in Theoretical Computer Science;2020-10