Kleene Algebra with Tests and Coq Tools for while Programs-Reference-Cited by-同舟云学术

Kleene Algebra with Tests and Coq Tools for while Programs

Author:

Pous Damien

Publisher

Springer Berlin Heidelberg

Link

Reference31 articles.

1. Allen, S.F., Constable, R.L., Howe, D.J., Aitken, W.E.: The semantics of reflected proof. In: Proc. LICS, pp. 95–105. IEEE Computer Society (1990)

3. Angus, A., Kozen, D.: Kleene algebra with tests and program schematology. Technical Report TR2001-1844, CS Dpt, Cornell University (July 2001)

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

1. Diagrammatic Algebra of First Order Logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

3. On incorrectness logic and Kleene algebra with top and tests;Proceedings of the ACM on Programming Languages;2022-01-12

4. On Tools for Completeness of Kleene Algebra with Hypotheses;Relational and Algebraic Methods in Computer Science;2021

5. Argosy: verifying layered storage systems with recovery refinement;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08