Jump to content

Draft:Kleene algebra with tests

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jlwoodwa (talk | contribs) at 03:19, 18 November 2024 (←Created page with '==References== *{{cite journal |last1=Kozen |first1=Dexter |author1-link=Dexter Kozen |title=Kleene algebra with tests |journal=ACM Transactions on Programming Languages and Systems |date=May 1997 |volume=19 |issue=3 |pages=427–443 |doi=10.1145/256167.256195 |doi-access=free}} *{{cite journal |last1=Kozen |first1=Dexter |author1-link=Dexter Kozen |last2=Smith |first2=Frederick |title=Kleene algebra with tests: Completeness and decidability |journal=Comput...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

References

  • Kozen, Dexter (May 1997). "Kleene algebra with tests". ACM Transactions on Programming Languages and Systems. 19 (3): 427–443. doi:10.1145/256167.256195.
  • Kozen, Dexter; Smith, Frederick (1997). "Kleene algebra with tests: Completeness and decidability" (PDF). Computer Science Logic. 1258: 244–259. doi:10.1007/3-540-63172-0_43.
  • Kozen, Dexter (July 2000). "On Hoare logic and Kleene algebra with tests". ACM Transactions on Computational Logic. 1 (1): 60–76. doi:10.1145/343369.343378.
  • Pous, Damien (2013). "Kleene Algebra with Tests and Coq Tools for While Programs". Interactive Theorem Proving. 7998: 180–196. arXiv:1302.1737. doi:10.1007/978-3-642-39634-2_15.
  • Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos (14 July 2014). "KAT + B!" (PDF). CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 1–10. doi:10.1145/2603088.2603095.
  • Pous, Damien (14 January 2015). "Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests". POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: 357–368. arXiv:1407.3213. doi:10.1145/2676726.2677007.
  • Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg (April 2016). "Building program construction and verification tools from algebraic principles". Formal Aspects of Computing. 28 (2): 265–293. doi:10.1007/s00165-015-0343-1.
  • Uramoto, Takeo (June 2016). "Canonical finite models of Kleene algebra with tests". Journal of Logical and Algebraic Methods in Programming. 85 (4): 595–616. doi:10.1016/j.jlamp.2015.11.001.
  • Jipsen, Peter; Moshier, M. Andrew (June 2016). "Concurrent Kleene algebra with tests and branching automata". Journal of Logical and Algebraic Methods in Programming. 85 (4): 637–652. doi:10.1016/j.jlamp.2015.12.005. {{cite journal}}: Invalid |doi-access=open (help)
  • Smolka, Steffen; Foster, Nate; Hsu, Justin; Kappé, Tobias; Kozen, Dexter; Silva, Alexandra (January 2020). "Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time". Proceedings of the ACM on Programming Languages. 4 (POPL): 1–28. doi:10.1145/3371129.
  • Zhang, Cheng; de Amorim, Arthur Azevedo; Gaboardi, Marco (16 January 2022). "On incorrectness logic and Kleene algebra with top and tests". Proceedings of the ACM on Programming Languages. 6 (POPL): 1–30. doi:10.1145/3498690.
  • Greenberg, Michael; Beckett, Ryan; Campbell, Eric (9 June 2022). "Kleene algebra modulo theories: a framework for concrete KATs". PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation: 594–608. doi:10.1145/3519939.3523722.
  • Peng, Yuxiang; Ying, Mingsheng; Wu, Xiaodi (9 June 2022). "Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra". PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation: 657–670. arXiv:2110.07018. doi:10.1145/3519939.3523713.
  • Sedlár, Igor (May 2023). "Kleene Algebra With Tests for Weighted Programs". 2023 IEEE 53rd International Symposium on Multiple-Valued Logic: 111–116. arXiv:2303.00322. doi:10.1109/ISMVL57333.2023.00031.
  • Feng, Hui; Bonsangue, Marcello (8 April 2024). "Concurrent NetKAT with Ports". SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing: 1722–1730. doi:10.1145/3605098.3636048.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Draft:Kleene_algebra_with_tests&oldid=1258096571"