Towards a linear algebra of programming

DOI10.1007/S00165-012-0240-9zbMath1259.68135OpenAlexW1999128250WikidataQ50292399 ScholiaQ50292399MaRDI QIDQ1941862

José Nuno Oliveira

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

zbMATH Keywords

probabilistic reasoningalgebra of programmingquantitative formal methods

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Basic linear algebra (15A99)

Related Items (10)

``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

• Haskell

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

This page was built for publication: Towards a linear algebra of programming