M.贝利亚。 编程语言的分层开发。 （英语） 兹比尔0477.68015 卡尔科洛 18, 219-254 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 68号01 软件理论中的一般主题 关键词：大型软件系统;高级编程语言 软件：查找;阿尔戈尔60 PDF格式BibTeX公司 XML格式引用 \textit{M.Bellia}，Calcolo 18，219--254（1981；Zbl 0477.68015） 全文： 内政部 参考文献： [1] J.E.Sammet，《编程语言：历史与未来》，美国计算机学会。(7)15 (1972), 601–610. ·Zbl 0246.68012号 ·doi:10.1145/361454.361485 [2] W.Brainerd，FORTRAN 77，通信ACM。（10） 21（1978），806–820·Zbl 0386.68004号 ·数字对象标识代码：10.1145/359619.359621 [3] M.Marcotty，H.F.Ledgard，G.V.Bochmann，形式定义采样器，计算。调查（2）8（1976），191-276·Zbl 0352.68095号 ·数字对象标识代码：10.1145/356669.356672 [4] R.D.Tennent，《程序设计语言的指称语义》，美国通信协会。(8)19 (1976), 437–453. ·Zbl 0337.68010号 ·数字对象标识代码：10.1145/360303.360308 [5] J.E.Donahue，《程序设计语言语义的补充定义》，《计算机科学讲义》43（1976），柏林斯普林格出版社·Zbl 0352.68006号 [6] P.J.Landin ALGOL 60和Church’s Lambda符号之间的通信，通信ACM。(2)8 (1965), 89–102. ·Zbl 0134.33403号 ·doi:10.1145/363744.363749 [7] C.A.R.Hoare，N.Wirt，编程语言PASCAL的公理化定义，Berichte der Fachgruppe Computer-Wissenschaften Eidgenossische Technische Hochule，苏里格，1972年11月。 [8] I.Greif，A.Meyer，《指定编程语言语义：霍尔和劳尔论文的教程和评论》，第六届美国计算机学会编程语言原理年度研讨会会议记录，德克萨斯州圣安东尼奥，1979年，180–189。 [9] J.C.Cherniavsky，S.N.Kamin，《简单编程语言的完整且一致的Hoare公理》，J.Assoc.Compute。机器。(1)26 (1979), 119–128. ·Zbl 0388.68007号 [10] J.G.Clearly，《Burroughs B6500的过程处理》，第四届澳大利亚计算机会议论文集，阿德莱德，1969年，231–239。 [11] P.Lucas，《编程语言和系统的形式定义》，IFIP大会’71，卢布尔雅那，1971，110–117。 [12] J.B.Johnston，《块状结构过程的轮廓模型》，Singplan Notices（2）6（1971），56–82·doi:10.1145/942582.807982 [13] D.M.Berry，《Oregano简介》，Sigplan Notices（2）6（1971），171-190·doi:10.1145/1115880.1115887 [14] C.Reynolds，《高级编程语言的定义口译员》，第27届ACM全国会议记录，波士顿，1972年，717-740。 [15] D.Scott，《计算数学理论大纲》，《第四届普林斯顿信息科学与系统年会论文集》，普林斯顿，1970年，169-176。 [16] D.Björner，《编程语言：解释器和编译器的形式化开发》，《国际计算研讨会》第77届（1977年），荷兰北部，阿姆斯特丹，1-22。 [17] C.A.R.Hoare，程序证明：FIND，Comm.ACM。(1)14 (1971), 39–45. ·Zbl 0217.53701号 ·doi:10.1145/362452.362489 [18] E.M.Clarke Jr.，《不可能获得良好Hoare公理系统的编程语言构造》，J.Assoc.Compute。机器。(1)26 (1979), 129–147. ·Zbl 0388.68008号 [19] V.R.Pratt，《模态逻辑在编程中的应用》，麻省理工学院计算机科学实验室，MiT/LCS/TM-1161978年12月。 [20] J.McCarthy，《走向计算的数学科学，信息处理》，62（1963），荷兰阿姆斯特丹，21-28。 [21] A.Ollongren，《关于定义编程语言的维也纳方法》，维也纳IBM-实验室，技术报告TR25.1201971年5月。 [22] D.G.Bobrow，B.Wegbreit，《多环境的模型和堆栈实现》，美国通信协会。(10)16 (1973), 591–603. ·数字对象标识代码：10.1145/362375.3623379 [23] C.J.Prenner，可扩展控制结构Sigplan通知（9）8（1974），129–132·doi:10.1145/390014.808301 [24] C.J.Prenner，J.Spitzen，B.Wegbreit，《编程语言回溯的实现》，第27届ACM全国会议记录，波士顿，1972年，763–771。 [25] C.Montagero，G.Pacini，F.Turini，《非确定性编程的两级控制结构》，美国通信协会。(10)20 (1977), 725–730. ·数字对象标识代码：10.1145/359842.359850 [26] B.W.Lampson，J.G.Mitchell，E.H.Satterhwaite，《关于上下文之间控制权的转移》，《程序设计研讨会论文集》，《计算机科学讲稿》19（1974），柏林施普林格出版社，181-203。 [27] G.Levi，F.Sirovich，《证明程序属性、符号评估和逻辑过程语义》，《计算机科学数学基础学报》，第75期，计算机科学讲稿32（1975），柏林斯普林格·弗拉格，294–301·Zbl 0325.68008号 [28] J.A.Goguen，J.W.Thatcher，E.G.Wagner，J.B.Wright，《初始代数语义和连续代数》，J.Assoc.Compute。机器。(1)24 (1977), 68–95. ·Zbl 0359.68018号 [29] J.V.Guttag，J.J.Horning，抽象数据类型的代数规范，Acta Informat。（1） 10（1978），27-52·doi:10.1007/BF00260922 [30] J.V.Guttag、E.Horowitz、D.R.Musser，《抽象数据类型和软件验证》，美国通信协会。(12)21 (1978), 1048–1064. ·Zbl 0387.68012号 ·doi:10.1145/359657.359666 [31] B.Balatresi，Alcune propietádi un formalismo（TEL）per la definizione di funzioni ricorshive e del suo interprete simbolico，比萨大学，Tesi di laurea，奥托布雷，1976年。 [32] M.J.O'Donnell，《方程描述的系统中的计算》，《计算机科学讲义》58（1977），柏林斯普林格·弗拉格出版社·Zbl 0421.68038号 [33] D.Björner，《程序设计语言：语言学和语义学》，国际计算研讨会77（1977年），荷兰北部，阿姆斯特丹，511-536。 [34] M.Bellia，Un modello semantico per la definizione a livelli di languagegi di programmazione，Istituto di Elaborazione dell’Informazione–C。N.R.，Nota interna IEI-B78-24，1978年11月。 [35] T.W.Pratt，《编程语言：设计与实现》（1975年），普伦蒂斯·霍尔出版社，恩格伍德·克利夫出版社·Zbl 0355.68007号 [36] E.Mendelson，《数学逻辑导论》（1963），D.Van Nostrand Company Inc.，普林斯顿·Zbl 0114.13802号 [37] J.Thatcher，E.Wagner，J.Wright，《理论计算机科学代数基础笔记》，《人工智能和计算机科学基础暑期学校讲稿》，比萨，1978年6月·Zbl 0418.68034号 [38] V.Ambriola，G.Levi，M.Simi，Manuale preliminare d'uso del TEL，Istituto di Elaborazione del’Informazione–C。N.R.，Nota Interna IEI-B77-18，1977年11月。 [39] J.C.King，符号执行和程序测试，美国计算机学会通讯。(7)19 (1976), 385–395. ·Zbl 0329.68018号 ·doi:10.1145/360248.360252 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。