Towards a linear algebra of programming
Towards a linear algebra of programming is a scholarly work, published in 2012 in ''Formal Aspects of Computing''. The main subjects of the publication include program analysis, programming language, probabilistic logic, linear algebra, vagueness, algebra, extension, algebra over a field, allegory, Kleene algebra, theoretical computer science, logic programming, basis, formal methods, mathematics, computer science, and binary relation. The authors show that, if one restricts to discrete probability spaces, categories of matrices provide adequate support for the extension, while preserving the pointfree reasoning style typical of the AoP..