×

Towards a linear algebra of programming. (English) Zbl 1259.68135


MSC:

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

Software:

Haskell
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Abadir KM, Magnus JR (2005) Matrix algebra. In: Econometric exercises, vol 1. Cambridge University Press, Cambridge
[2] Andova S, McIver A, D’Argenio PR, Cuijpers PJL, Markovski J, Morgan C, Núñez M (eds) (2009) Proceedings first workshop on quantitative formal methods: theory and applications. In: EPTCS, vol 13
[3] Backhouse RC (2004) Mathematics of program construction. University of Nottingham. Draft of book in preparation, 608 p
[4] Bird R, de Moor O (1997) Algebra of programming. Series in Computer Science. Prentice-Hall International, Englewood Cliffs · Zbl 0867.68042
[5] Bloom SL, Sabadini N, Walters RFC (1996) Matrices, machines and behaviors. Appl Categ Struct 4(4): 343–360 · Zbl 0859.18005 · doi:10.1007/BF00122683
[6] Baroni M, Zamparelli R (2010) Nouns are vectors, adjectives are matrices: representing adjective-noun constructions in semantic space. In: Association for Computational Linguistics Proceedings, EMNLP ’10, Morristown, NJ, USA, pp 1183–1193
[7] Conway JH (1971) Regular algebra and finite machines. Chapman and Hall, London · Zbl 0231.94041
[8] Coecke B, Sadrzadeh M, Clark S (2010) Mathematical foundations for a compositional distributed model of meaning. Linguist Anal 36(1–4): 345–384
[9] Distefano S, Longo F, Scarpa M (2010) Availability assessment of HA standby redundant clusters. In: 29th IEEE international symposium on reliable distributed systems
[10] Erwig M, Kollmansberger S (2006) Functional pearls: probabilistic functional programming in Haskell. J Funct Program 16: 21–34 · Zbl 1091.68023 · doi:10.1017/S0956796805005721
[11] Frias MF (2002) Fork algebras in algebra, logic and computer science. Logic and computer science. World Scientific Publishing Co, Singapore · Zbl 1012.03001
[12] Freyd PJ, Scedrov A (1990) Categories, allegories. In: Mathematical library, vol 39. North-Holland, Amsterdam · Zbl 0698.18002
[13] Gibbons J, Hinze R (2011) Just do it: simple monadic equational reasoning. In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, ICFP’11, New York, NY, USA, 2011. ACM, New York, pp 2–14 · Zbl 1323.68207
[14] Gibbons J, Hutton G, Altenkirch T (2001) When is a function a fold or an unfold? Electron Notes Theor Comput Sci 44(1) · Zbl 1260.68096
[15] Gibbons J (1997) Conditionals in distributive categories. Technical Report CMS-TR-97-01, School of Computing and Mathematical Sciences, Oxford Brookes University
[16] Hehner E (2011) A probability perspective. Form Asp Comput 23: 391–419 · Zbl 1236.68197 · doi:10.1007/s00165-010-0157-0
[17] Hoogendijk P (1997) A generic theory of data types. PhD thesis, University of Eindhoven, The Netherlands · Zbl 0900.68164
[18] Kawahara Y, Furusawa H, Mori M (1999) Categorical representation theorems of fuzzy relations. Inf Sci 119(3–4): 235–251 · Zbl 0943.03042 · doi:10.1016/S0020-0255(99)00017-1
[19] Kemeny JG, Snell JL (1960) Finite Markov chains. Springer, Berlin (1976, originally printed by Van Nostrand, Princeton) · Zbl 0089.13704
[20] Latouche G, Ramaswami V (1999) Introduction to matrix analytic methods in stochastic modeling. ASA-SIAM · Zbl 0922.60001
[21] Larsen KG, Skou A (1991) Bisimulation through probabilistic testing. Inf Comput 94(1): 1–28 · Zbl 0756.68035 · doi:10.1016/0890-5401(91)90030-6
[22] Lawvere B, Schanuel S (1997) Conceptual mathematics: a first introduction to categories. Cambridge University Press, Cambridge · Zbl 0889.18001
[23] MacLane S (1998) Categories for the working mathematician. In: Graduate texts in mathematics, vol 5. Springer, Berlin · Zbl 0705.18001
[24] Macedo H (2012) Matrices as arrows–why categories of matrices matter. PhD thesis, University of Minho (submitted)
[25] Maddux RD (1991) The origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica 50: 421–455 · Zbl 0754.03042 · doi:10.1007/BF00370681
[26] MacLane S, Birkhoff G (1999) Algebra. AMS Chelsea
[27] Mu SC, Bird R (2001) Quantum functional programming, 2001. 2nd Asian workshop on programming languages and systems, KAIST, Dajeaon, Korea, December 17–18
[28] McIver A, Cohen E, Morgan C (2006) Using probabilistic Kleene algebra for protocol verification. In: Schmidt R (ed) Relations and Kleene algebra in computer science. LNCS, vol 4136. Springer, Berlin, pp 296–310 · Zbl 1134.68415
[29] McIver A, Morgan C (2005) Abstraction, refinement and proof for probabilistic systems. In: Monographs in computer science. Springer, Berlin · Zbl 1069.68039
[30] Macedo HD, Oliveira JN (2010) Matrices as Arrows! A biproduct approach to typed linear algebra. In: MPC’10. LNCS, vol 6120. Springer, Berlin, pp 271–287 · Zbl 1286.68085
[31] Macedo HD, Oliveira JN (2011) Do the middle letters of ”OLAP” stand for linear algebra (”LA”)? Technical Report TR- HASLab:04:2011, INESC TEC and University of Minho, Gualtar Campus, Braga
[32] Macedo HD, Oliveira JN (2011) Towards linear algebras of components. In: FACS 2010. LNCS, vol 6921. Springer, Berlin, pp 300–303
[33] Morgan C (1990) Programming from specification. In: Hoare CAR (ed) Series in computer science. Prentice-Hall International, Englewood Cliffs
[34] Oliveira JN (2011) A look at the (linear) algebra of probabilistic functions, 2011. Contribution to the QAIS Start-up Workshop celebrating IBM-Portugal Scientific Prize 2010, Braga, 17th October
[35] Pratt V (1992) Origins of the calculus of binary relations. In: Proceedings of the 7th annual IEEE symposium on logic in computer science, Santa Cruz, CA, IEEE Comp. Soc, pp 248–254
[36] Rosenhouse J (2009) The Monty Hall problem: the remarkable story of math’s most contentious brain teaser. Oxford University Press, New York · Zbl 1198.00006
[37] Rao CR, Rao MB (1998) Matrix algebra and its applications to statistics and econometrics. World Scientific Publishing, Singapore · Zbl 0915.15001
[38] Silva A, Bonchi F, Bonsangue MM, Rutten JJMM (2011) Quantitative Kleene coalgebras. Inf Comput 209(5): 822–849 · Zbl 1227.68075 · doi:10.1016/j.ic.2010.09.007
[39] Schmidt G (2010) Relational mathematics. Number 132 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge
[40] SQIG-Group (2011) LAP: linear algebra of bounded resources programs. IT & Tech. Univ. Lisbon
[41] Sokolova A (2005) Coalgebraic analysis of probabilistic systems. Ph.D. dissertation, Tech. Univ. Eindhoven, Eindhoven, The Netherlands
[42] Sernadas A, Ramos J, Mateus P (2008) Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources. Technical report, SQIG-IT and IST-TU Lisbon, 1049-001 Lisboa, Portugal, 2008. Short paper presented at LPAR 2008, Doha, Qatar. November 22–27
[43] Takai T, Furusawa H (2006) Monodic tree Kleene algebra. In: Schmidt R (ed) Relations and Kleene algebra in computer science. Lecture notes in computer science, vol 4136. Springer, Berlin, pp 402–416 · Zbl 1135.68031
[44] Trcka N (2009) Strong, weak and branching bisimulation for transition systems and Markov reward chains: a unifying matrix approach. In: Proc. first workshop on quantitative formal methods: theory and applications, EPTCS, vol 13. pp 55–65
[45] Voas J, McGraw G (1997) Software fault injection: innoculating programs against errors. Wiley, New York, 416 p
[46] Winter M (2009) Arrow categories. Fuzzy Sets Syst 160(20): 2893–2909 · Zbl 1178.18002 · doi:10.1016/j.fss.2008.12.008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.