A Hoare Logic for the State Monad-Reference-Cited by-同舟云学术

A Hoare Logic for the State Monad

Published:2009 Issue: Volume: Page:440-451
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Swierstra Wouter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03359-9_30

Reference16 articles.

1. Lecture Notes in Computer Science;D. Cock,2008

2. Floyd, R.W.: Assigning meanings to programs. Mathematical Aspects of Computer Science 19 (1967)

3. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–580 (1969)

4. Hutton, G., Fulger, D.: Reasoning about effects: seeing the wood through the trees. In: Proceedings of the Ninth Symposium on Trends in Functional Programming (2008)

5. Leroy, X.: Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. In: POPL 2006: 33rd Symposium on Principles of Programming Languages, pp. 42–54. ACM Press, New York (2006)

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

1. While Loops in Coq;Electronic Proceedings in Theoretical Computer Science;2023-09-22

2. How to safely use extensionality in Liquid Haskell;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06

3. Operational Annotations;Lecture Notes in Computer Science;2022

4. Reasoning about the garden of forking paths;Proceedings of the ACM on Programming Languages;2021-08-22

5. Monadic W in Coq;Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity;2020-10-19