Towards a linear algebra of programming
type: Item
instance of: scholarly article
title: Towards a linear algebra of programming
zbMATH Open document ID: 1259.68135
author: J. N. Oliveira
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
full work available at URL: http://repositorio.inesctec.pt/handle/123456789/2812
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 15A99
zbMATH DE Number: 6148332
zbMATH Keywords: algebra of programming
zbMATH Keywords: quantitative formal methods
zbMATH Keywords: probabilistic reasoning
Wikidata QID: Q50292399
describes a project that uses: Haskell
MaRDI profile type: Publication
OpenAlex ID: W1999128250
cites work: Q4331824
cites work: Matrices, machines and behaviors
cites work: Q5639639
cites work: FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
cites work: Q3146903
cites work: Q3995720
cites work: Just do it
cites work: When is a function a fold or an unfold?
cites work: A probability perspective
cites work: Q3838013
cites work: Categorical representation theorems of fuzzy relations
cites work: Q3262596
cites work: Introduction to Matrix Analytic Methods in Stochastic Modeling
cites work: Bisimulation through probabilistic testing
cites work: Q4367588
cites work: Q4693151
cites work: The origin of relation algebras in the development and axiomatization of the calculus of relations
cites work: Using Probabilistic Kleene Algebra for Protocol Verification
cites work: Abstraction, Refinement and Proof for Probabilistic Systems
cites work: Matrices as Arrows!
cites work: Q3649106
cites work: Q4230824
cites work: Quantitative Kleene coalgebras
cites work: Monodic Tree Kleene Algebra
cites work: Arrow categories
DOI: 10.1007/S00165-012-0240-9
description: scientific article; zbMATH DE number 6148332