JoséN·奥利维拉。 走向线性编程代数。 （英语） Zbl 1259.68135号 正式Asp。计算。 24，编号4-6，433-458（2012）. 引用于10文件 MSC公司： 68问题65 抽象数据类型；代数规范 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 15A99号 基本线性代数 关键词：编程代数;定量形式化方法;概率推理 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}，正式Asp。计算。24、编号4--6、433--458（2012；Zbl 1259.68135） 全文： 内政部 链接 参考文献： [1] Abadir KM，Magnus JR（2005）矩阵代数。在：计量经济学练习，第1卷。剑桥大学出版社 [2] Andova S、McIver A、D'Argenio PR、Cuijpers PJL、Markovski J、Morgan C、Nüñez M（eds）（2009）《定量形式化方法：理论和应用的第一次研讨会论文集》。In:EPTCS，第13卷 [3] Backhouse RC（2004）《程序构建数学》。诺丁汉大学。正在编写的书籍草稿，608页 [4] Bird R，de Moor O（1997）《编程代数》。计算机科学系列。Prentice-Hall International，Englewood Cliffs公司·Zbl 0867.68042号 [5] Bloom SL、Sabadini N、Walters RFC（1996）《矩阵、机器和行为》。应用类别结构4（4）：343–360·兹比尔0859.18005 ·doi:10.1007/BF00122683 [6] Baroni M，Zamparelli R（2010）名词是向量，形容词是矩阵：表示语义空间中的形容词-名词结构。在：计算语言学协会论文集，EMNLP’10，美国新泽西州莫里斯敦，第1183-1193页 [7] Conway JH（1971）正则代数和有限机。查普曼和霍尔，伦敦·Zbl 0231.94041号 [8] Coecke B、Sadrzadeh M、Clark S（2010）《意义的组合分布模型的数学基础》。语言学家分析36（1-4）：345-384 [9] Distefano S、Longo F、Scarpa M（2010）HA备用冗余集群的可用性评估。参加：第29届IEEE可靠分布式系统国际研讨会 [10] Erwig M，Kollmansberger S（2006）《函数珍珠：Haskell中的概率函数编程》。J Funct程序16:21–34·Zbl 1091.68023号 ·doi:10.1017/S0956796805005721 [11] Frias MF（2002）代数、逻辑和计算机科学中的Fork代数。逻辑和计算机科学。新加坡世界科学出版公司·Zbl 1012.03001号 [12] Freyd PJ，Scedrov A（1990）《类别，寓言》。在：数学图书馆，第39卷。北荷兰，阿姆斯特丹·Zbl 0698.18002号 [13] Gibbons J，Hinze R（2011），做吧：简单的一元方程式推理。摘自：第16届ACM SIGPLAN功能编程国际会议记录，ICFP'11，美国纽约州纽约市，2011年。ACM，纽约，第2-14页·Zbl 1323.68207号 [14] Gibbons J，Hutton G，Altenkirch T（2001），函数是折叠还是展开？计算机科学电子笔记44（1）·Zbl 1260.68096号 [15] Gibbons J（1997）分配范畴中的条件句。牛津布鲁克斯大学计算与数学科学学院CMS-TR-97-01技术报告 [16] Hehner E（2011）《概率观点》。表Asp计算23:391–419·Zbl 1236.68197号 ·文件编号：10.1007/s00165-010-0157-0 [17] Hoogendijk P（1997）数据类型的一般理论。荷兰埃因霍温大学博士论文·Zbl 0900.68164号 [18] Kawahara Y，Furusawa H，Mori M（1999），模糊关系的范畴表示定理。信息科学119（3-4）：235-251·兹伯利0943.03042 ·doi:10.1016/S0020-0255（99）00017-1 [19] Kemeny JG，Snell JL（1960）有限马尔可夫链。施普林格，柏林（1976年，最初由范诺斯特朗印刷，普林斯顿）·兹伯利0089.13704 [20] Latouche G，Ramaswami V（1999）《随机建模中矩阵分析方法介绍》。ASA-SIAM公司·Zbl 0922.60001号 [21] Larsen KG，Skou A（1991），通过概率测试的相互模拟。Inf计算94（1）：1–28·Zbl 0756.68035号 ·doi:10.1016/0890-5401（91）90030-6 [22] Lawvere B，Schanuel S（1997）《概念数学：范畴的首次介绍》。剑桥大学出版社·Zbl 0889.18001号 [23] MacLane S（1998）工作数学家分类。收录：数学研究生论文，第5卷。柏林施普林格·Zbl 0705.18001号 [24] Macedo H（2012）矩阵如箭头-矩阵类别为何重要。明尼苏达大学博士论文（已提交） [25] Maddux RD（1991）关系代数在关系演算发展和公理化中的起源。逻辑研究所50:421–455·Zbl 0754.03042号 ·doi:10.1007/BF00370681 [26] MacLane S，Birkhoff G（1999）《代数》。AMS切尔西 [27] Mu SC，Bird R（2001）量子函数编程，2001。第二届编程语言和系统亚洲研讨会，韩国大庆KAIST，12月17日至18日 [28] McIver A，Cohen E，Morgan C（2006）使用概率Kleene代数进行协议验证。收录：计算机科学中的Schmidt R（ed）关系和Kleene代数。LNCS，第4136卷。柏林施普林格，第296–310页·Zbl 1134.68415号 [29] McIver A，Morgan C（2005）概率系统的抽象、精化和证明。收录：计算机科学专著。柏林施普林格·Zbl 1069.68039号 [30] Macedo HD，Oliveira JN（2010）矩阵如箭！类型线性代数的双积方法。输入：MPC’10。LNCS，第6120卷。柏林施普林格，第271-287页·兹比尔1286.68085 [31] Macedo HD，Oliveira JN（2011）“OLAP”的中间字母代表线性代数（“LA”）吗？技术报告TR-HASLab:04:2011，INESC TEC和米荷大学，布拉加瓜尔塔校区 [32] Macedo HD，Oliveira JN（2011）走向分量的线性代数。在：FACS 2010。LNCS，第6921卷。柏林施普林格，第300–303页 [33] Morgan C（1990）规范编程。摘自：计算机科学领域的Hoare CAR（ed）系列。Prentice-Hall International，Englewood Cliffs公司 [34] Oliveira JN（2011）《概率函数（线性）代数研究》，2011年。2010年10月17日，布拉加，为庆祝IBM-Plugate科学奖的QAIS创业研讨会做出贡献 [35] Pratt V（1992）二元关系演算的起源。摘自：第七届IEEE计算机科学逻辑年会论文集，加利福尼亚州圣克鲁斯，IEEE Comp。Soc，第248-254页 [36] 罗森豪斯J（2009）《蒙蒂霍尔问题：数学中最具争议的脑筋急转弯的非凡故事》。牛津大学出版社，纽约·邮编：1198.00006 [37] Rao CR，Rao MB（1998）矩阵代数及其在统计学和计量经济学中的应用。新加坡世界科学出版社·Zbl 0915.15001号 [38] Silva A、Bonchi F、Bonsangue MM、Rutten JJMM（2011）定量Kleene余代数。Inf计算209（5）：822–849·Zbl 1227.68075号 ·doi:10.1016/j.ic.2010.09.007 [39] Schmidt G（2010）关系数学。数学及其应用百科全书第132号。剑桥大学出版社 [40] SQIG-Group（2011）LAP：有限资源程序的线性代数。信息技术与；里斯本理工大学 [41] Sokolova A（2005）概率系统的协代数分析。荷兰埃因霍温科技大学博士论文 [42] Sernadas A，Ramos J，Mateus P（2008）用于确定资源有限的概率程序正确性的线性代数技术。技术报告，SQIG-IT和IST-TU里斯本，葡萄牙里斯本1049-001，2008年。在卡塔尔多哈2008年LPAR上提交的简短论文。11月22日至27日 [43] Takai T，Furusawa H（2006）单叉树Kleene代数。收录：计算机科学中的Schmidt R（ed）关系和Kleene代数。计算机科学课堂讲稿，第4136卷。柏林施普林格，第402-416页·兹比尔1135.68031 [44] Trcka N（2009）转移系统和马尔可夫报酬链的强、弱和分支互模拟：统一矩阵方法。In：程序。定量形式方法第一次研讨会：理论和应用，EPTCS，第13卷。第55-65页 [45] Voas J，McGraw G（1997）软件故障注入：针对错误创新程序。纽约威利，416便士 [46] Winter M（2009）箭头类别。模糊集系统160（20）：2893–2909·Zbl 1178.18002号 ·doi:10.1016/j.fss.2008.12.008 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。