D.M.贝里。 关于R.D.Tennent的“基于语义原则的语言设计方法：Algol 68，一种使用语义原则设计的语言”的评论。 （英语） Zbl 0423.68002号 学报信息。 15, 83-98 (1981)。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4个 +5 显示扫描页面 引用于1文件 MSC公司： 68号01 软件理论中的一般主题 关键词：语言设计；指称语义学；抽象；声明；帕斯卡尔；Algol阿尔戈68 引文：Zbl 0326.68006号 软件：阿尔戈68 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry}，《信息学报》第15期，第83--98页（1981年；Zbl 0423.68002） 全文： 内政部 参考文献： [1] Andler，S.，Hibbard，P.：《藻类类型》68。第五届年度III会议记录，算法语言的实现和设计，第124-144页。巴黎：IRIA 1977 [2] Berry，D.M.，Schwartz，R.L.：类型，强类型语言中的等价：再来看一看。Sigplan通知14:5。35-41 (1979) ·doi:10.1145/988113.988117 [3] Branquart，P.，Lewi，J.，Sintzoff，M.，Wodon，P.：《Algol 68中的语义构成》。Commun公司。ACM 14，697-708（1971）·Zbl 0227.68008号 ·数字对象标识代码：10.1145/362854.362874 [4] Church，A.：lambda转换的结石。新泽西州普林斯顿：普林斯顿大学出版社1941 [5] Cleaveland，J.C.，Uzgalis，R.C.：编程语言语法。阿姆斯特丹：北荷兰1976·Zbl 0381.68009号 [6] 国防部：修订铁人要求。Sigplan通知12:12。39-54 (1977) [7] 高阶计算机编程语言要求，Steelman。国防部，1978年 [8] 埃文斯：PAL？用于教授程序设计语言学的语言。程序。第23届ACM全国大会。新泽西州普林斯顿：Brandin Systems出版社1968 [9] Guttag，J.、Horning，J.和London，R.：EUCLID程序的证明规则。编程概念的形式化描述（E.J.Neuhold，ed.）。阿姆斯特丹：北荷兰1977 [10] 哈姆雷特：对阿尔戈的无知68被认为是有害的。Sigplan通知12:4，51-56（1977）·doi:10.1145/954654.954659 [11] Hoare，C.A.R.：计算机编程的公理基础。Commun公司。ACM 12，576-580。583（1969年）·Zbl 0179.23105号 ·doi:10.1145/363235.363259 [12] Hoare，C.A.R.：程序和参数：公理方法。算法语言语义研讨会（E.Engeler编辑）。柏林-海德堡纽约：施普林格1971·Zbl 0221.68020号 [13] Hoare，C.A.R.：编程语言设计提示。美国计算机学会编程语言原理研讨会，波士顿。1973 [14] Hoare，C.A.R.，Wirth，N.：编程语言Pascal的公理化定义。《信息学报》。2, 335-355 (1973) ·Zbl 0261.68040号 ·doi:10.1007/BF00289504 [15] Jensen，K.，Wirth，N.：PASCAL用户手册和报告。柏林-海德堡纽约：施普林格1974·兹标0288.68043 [16] P.J.兰丁：接下来的700种编程语言。Commun公司。ACM 9，157-164（1966）·Zbl 0149.12505号 ·doi:10.1145/365230.365257 [17] Lampson，B.，Horning，J.，London，R.，Mitchell，J.，Popek，G.：关于编程语言EUCLID的报告。Sigplan通知12:2。1-19 (1977) ·Zbl 0399.68011号 ·doi:10.1145/954666.971189 [18] Lehmann，D.J.：《Algol Y.中的模式》，第五届年度III会议论文集，算法语言的实现和设计，第111-123页。巴黎：IRIA 1977 [19] Lindsey，C.H.：模态。《藻类公报》37，26-29（1974） [20] 林赛。C.H.、Boom、H.：Algol 68的模块和单独的编译工具。Afdeling Informatica IW105/78。Mathematicsch中心，1978年·兹伯利0387.68026 [21] Lindsey，C.H.，van der Meulen，S.G.：ALGOL 68的非正式介绍。阿姆斯特丹：北荷兰1977·Zbl 0392.68001号 [22] London R.，编程语言EUCLID的证明规则。《信息学报》。10, 1-26 (1978) ·Zbl 0385.68009号 ·doi:10.1007/BF00260921 [23] McGettrick，A.D.：介绍Algol 68的形式定义。自动编程年鉴9，1-84（1978）·Zbl 0428.68012号 ·doi:10.1016/0066-4138（78）90001-0 [24] 麦盖特里克，A.D.：Algol 68？第一道和第二道菜。剑桥。英国：剑桥大学出版社1978·Zbl 0376.68004号 [25] Pagan，F.：《Algol 68实用指南》。伦敦：Wiley 1976 [26] 奎因：集合论及其逻辑。马萨诸塞州剑桥：哈佛大学出版社1963·Zbl 0122.24601号 [27] 雷诺兹，J.C.：盖丹肯？基于完整性原则和引用概念的简单无类型语言。Commun公司。ACM 13、308-319（1970）·Zbl 0193.15101号 ·数字对象标识代码：10.1145/362349.362364 [28] Schuman，S.A.：面向高级语言的模块化编程。MOL公告4，IFIP WG2.4，1974 [29] Schwartz，R.L.，Berry，D.M.：Algol 68的语义观点。计算机语言杂志4。1-15 (1979) ·Zbl 0435.68011号 ·doi:10.1016/0096-0551（79）90006-7 [30] Schwartz，R.L.：Algol 68的公理语义定义。加州大学洛杉矶分校计算机科学系。博士论文，UCLA-34-P214-75。1978年8月 [31] Schwartz，R.L.：对Algol 68例程的公理化处理。自动化、语言和编程国际会议论文集。柏林-海德堡纽约：施普林格1979·Zbl 0404.68002号 [32] Schwartz，R.L.：关于作为语言设计工具的公理化。Rehovot Weizmann科学研究所数学系。以色列，1979年 [33] 斯托尔，R.R.：集合理论和逻辑。旧金山：弗里曼1963·Zbl 0112.24408号 [34] 斯特拉奇。C： 编程语言的多样性。牛津大学计算机实验室。编程研究小组，技术专题论文PRG-10，1973 [35] Taanenbaum，A.S.：关于Algol 68的教程。计算。调查8，4-38（1976）·数字对象标识代码：10.1145/356669.356671 [36] Tanenbaum，A.S.：Pascal和Algol 68的比较。计算。J.21，316-323（1978）·兹伯利0386.68006 ·doi:10.1093/comjnl/21.4316 [37] Tennent，R.D.：数学语义和编程语言设计。多伦多大学。加拿大安大略省。博士论文。1973 ·Zbl 0308.68012号 [38] Tennent，R.D.：基于语义原则的语言设计方法。《信息学报》。8, 97-112 (1977) ·doi:10.1007/BF00289243 [39] 乌兹加利斯。R.C.：私人通信。1979 [40] van Wijngaarden，A.（编辑），Peck，J.E.L.Koster，C.H.A.，Mailloux，B.J.：算法语言Algol 68的报告。数字。数学。14, 79-218 (1969) ·Zbl 0191.46101号 [41] van Wijngaarden，A.、Mailloux，B.J.、Peck，J.E.L.、Koster，C.H.A.、Sintzoff，M.、Lindsey，C.H.、Meertens。L.G.L.T.，Fisker，R.G.（编辑）：关于算法语言Algol 68的修订报告。《信息学报》。5, 1-236 (1975) [42] Wirth，N.：关于编程语言的设计。第74届IFIP大会会议记录，阿姆斯特丹：北荷兰1974·Zbl 0296.68007号 [43] Wirth，N.：对编程语言Pascal的评估。IEEE传输。软件工程1192-198（1976） 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。