Towards a linear algebra of programming
From MaRDI portal
Publication:1941862
DOI10.1007/s00165-012-0240-9zbMath1259.68135OpenAlexW1999128250WikidataQ50292399 ScholiaQ50292399MaRDI QIDQ1941862
Publication date: 22 March 2013
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/2812
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Basic linear algebra (15A99)
Related Items
``Keep definition, change category -- a practical approach to state-based system calculi, Gaussian elimination is not optimal, revisited, Continuity as a computational effect, Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm, Typed Linear Algebra for Weigthed (Probabilistic) Automata, Relations in linear algebra, A relation-algebraic approach to the ``Hoare logic of functional dependencies, WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES, An algebraic framework for minimum spanning tree problems, A linear algebra approach to OLAP
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantitative Kleene coalgebras
- A probability perspective
- Arrow categories
- Bisimulation through probabilistic testing
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Categorical representation theorems of fuzzy relations
- Matrices, machines and behaviors
- Matrices as Arrows!
- Introduction to Matrix Analytic Methods in Stochastic Modeling
- Abstraction, Refinement and Proof for Probabilistic Systems
- When is a function a fold or an unfold?
- Just do it
- Using Probabilistic Kleene Algebra for Protocol Verification
- Monodic Tree Kleene Algebra
- FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
