函数式编程语言的代数定义及其语义模型

 访问全文

 完整（PDF）

1. 注：L.N.C.S.，计算机科学课堂讲稿；I.C.A.L.P.，自动化、语言和编程国际学术讨论会。 
2. 1.J.BACKUS，编程能从冯·诺依曼风格中解放出来吗？A Functional Style and lts Algebra of Programs（函数式风格及其程序代数），Comm.A.C.M.，第21卷，第8期，1978年，第613-641页Zbl0383.68013号MR520392型
3. 2.F.L.BAUER和H.WÖSSNER，《算法与编程》，柏林-海德堡-纽约，施普林格，1981年Zbl0466.68006号
4. 3.J.W.DE BAKKER，《重新审视最小不动点》。在C.BĔHM编辑的《λ-微积分和计算机科学理论》中，罗马，国际N.C.S.，第37卷，第27-62页，柏林，施普林格，1975年Zbl0328.68009号MR474942型
5. 4.J.A.BERGSTRA和J.V.TUCKER，可计算和半可计算数据结构的代数规范，Afdeling Informatica Amsterdam，IW115/791979Zbl0419.68029号
6. 5.G.BIRKHOFF和J.D.LIPSON，《异质代数》，J.Comb。《理论》，第8卷，1970年，第115-133页兹比尔0211.02003MR250887型
7. 6.M.BROY，《转型并行Ablaupender计划》，慕尼黑理工大学论文，Fakultät für Mathematik，1980年Zbl0461.68013号
8. 7.M.BROY、W.DOSCH、H.PARTSCH、P.PEPPER和M.WIRSING，抽象数据类型中的存在量词。H.A.MAURER编辑，程序。《第六届国际货币体系协会期刊》，格拉茨，《国际货币体系期刊》，第71卷，第73-87页，柏林：施普林格出版社，1979年Zbl0404.68026号MR573235型
9. 8.M.BROY和M.WIRSING，作为抽象数据类型的编程语言。在M.DAUCHET，Ed.，5e Colloque de Lille sur les arbres en algèbre et en programmation，里尔，1980年2月，第160-177页，里尔大学，1980年Zbl0433.68014号
10. 9.M.BROY和M.WIRSING，部分递归函数和抽象数据类型，E.A.T.C.S.公报，第11卷，1980年6月，第34-41页
11. M.BROY和M.WIRSING，《关于非确定性编程语言的代数规范》。在E.ASTESIANO和C.B÷HM编辑的《第六届代数和编程中的树讨论会》中，Genova，L.N.C.S.，第112卷，第162-179页，柏林，施普林格，1981年Zbl0462.68063号MR623271型
12. 11 M.BROY和M.WIRSING，部分抽象类型，《信息学报》，第18卷，1982年，第47-64页Zbl0494.68020号688344令吉
13. 12.M.BROY和M.WIRSING，关于金融无限通信过程的代数规范。在D.BJORNER，编辑，I.F.LP。编程概念II形式描述工作会议，Garmisch 1982年（即将出版）。 Zbl0512.68021号
14. 13 M.BROY、C.PAIR和M.WIRSING，《抽象数据类型模型的系统研究》，南希信息中心，报告81-R-0421981年Zbl0552.68010号
15. 14 M.BROY、P.PEPPER和M.WIRSING，《项目之间的关系》。B.ROBINET编辑，第四届国际编程研讨会，巴黎，1980年4月22日至24日，L.N.C.S.，第83卷，第59-78页，柏林，斯普林格。 兹比尔0435.68017
16. 15.C.C.CHANG和H.J.KEISLER，《模型理论、逻辑研究和数学基础》，第73卷，阿姆斯特丹，北荷兰，1973年Zbl0276.02032号409165令吉
17. 16.B.COURCELLE和M.NIVAT，程序模式的代数语义。J.WINKOWSKI编辑，Proc。数学。公司基础。《科学》，Zakopane，L.N.C.S.，第64卷，第16-30页，柏林，施普林格出版社，1978年Zbl0384.68016号519827万令吉
18. 17.M.C.GAUDEL，Génération and preuve de compilators basées sur une sémanique formelle des langages de programming，Thèse d’État，南希，1980年3月
19. 18.G.GOGUEN、J.W.THATCHER和E.G.WAGNER，抽象数据类型的规范、正确性和实现的初始代数方法。R.T.YEH编辑，《编程方法的当前趋势》，第4卷，数据结构，第80-149页，新泽西州，普伦蒂斯·霍尔，1978年
20. 19.G.GRáTZER，《通用代数》，普林斯顿，范诺斯特兰德，1968年Zbl0182.34201号MR248066型
21. 20.J.V.GUTTAG，抽象数据类型编程规范和应用，多伦多大学计算机系博士。Sc.，众议员CSRG-591975年
22. 21.P.HITCHCOCK和D.PARK，入职规则和终止证明。M.NIVAT编辑，Proc。第一份I.C.A.L.P.，I.R.I.A.，第225-251页，阿姆斯特丹，北荷兰，1973年Zbl0387.68011号MR495103型
23. 22.S.MCLANE，《工作数学家的类别》，柏林：施普林格出版社，1971年Zbl0232.18001号MR354798型
24. 23.Z.MANNA，《计算数学理论》，纽约，麦格拉姆-希尔出版社，1974年Zbl0353.68066号MR400771型
25. 24.Z.MANNA和A.SHAMIR，最佳不动点的理论方面，S.I.A.M.J.Comp。，第5卷，第3期，1978年，第414-426页兹比尔0358.68017440995令吉
26. 25.R.MILNER，类型的完全抽象模型-《微积分》，第4卷，1977年，第1-22页Zbl0386.03006号MR498061型
27. 26.C.PAIR，编程语言的抽象类型和语言类型，南希信息研究中心，拉波特80-R-0112080
28. 27.P.PEPPER，转换语义研究。F.L.BAUER和M.BROY，编辑，Proc。国际项目建设暑期学校，马克托伯多夫，1978年，L.N.C.S.，第69卷，柏林，施普林格，1979年，第322-405页Zbl0408.68074号583152马来西亚令吉
29. 28.W.DE ROEVER，递归和参数机制：公理方法。J.LOECKX，编辑，程序。《第二次国际清算协会法律公告》，Saarbrücken，L.N.C.S.，第14卷，柏林，施普林格，1975年，第34-65页Zbl0302.68019号428768卢比
30. 29.H.Jr.ROGERS，递归函数和有效计算性理论，纽约，麦格劳-希尔图书公司，1967年Zbl0183.01401号224462令吉
31. 30.J.R.SHOENFIELD，《数理逻辑》，雷丁（马萨诸塞州）：艾迪森·韦斯利出版社，1969年Zbl0155.01102号MR225631型
32. 31.E.G.WAGNER、J.W.THATCHER和J.B.WRIGHT，《作为数学对象的编程语言》。J.WINKOWSKI编辑，Proc。数学。《计算机科学基础》，Zakopane，L.N.C.S.，第64卷，柏林，施普林格出版社，1978年，第84-101页Zbl0394.68008号519830万令吉
33. 32.M.WAND，作为定义语言的一阶身份，印第安纳大学，Comp。科学部，1977年第29号技术报告Zbl0424.68022号
34. 33.M.WIRSING、P.PEPPER、H.PARTSCH、W.DOSCH和M.BROY，《抽象类型的层次结构》，《信息学报》（即将出版）。初步版本：慕尼黑理工大学信息研究所，TUM-I 8007Zbl0506.68024号MR720236型
35. 34.M.WIRSING和M.BROY，抽象数据类型作为有限生成模型的格。P.DEMBINSKI编辑，程序。数学。《计算机科学基础》，Rydzyna，L.N.C.S.，第88卷，柏林，施普林格，1980年，第673-685页Zbl0441.68014号744200令吉