Nepejvoda,N.N。 算法语言的语义。 (英语) Zbl 0554.68006号 J.索夫。数学。 25, 1558-1606 (1984). 伊托基·诺基(Itogi Nauki Tekh.)翻译。,序列号。特奥。维罗亚特。材料统计温度。基伯恩。20, 95-166 (1983;Zbl 0542.68002号). MSC公司: 68-02 与计算机科学有关的研究展览会(专著、调查文章) 60年第68季度 规范和验证(程序逻辑、模型检查等) 68问题55 计算理论中的语义学 关键词:调查;程序设计语言的语义 引文:Zbl 0542.68002号 软件:阿尔戈68;Refal公司;SEMANOL公司 PDF格式BibTeX公司 XML格式引用 \文本{N.N.Nepejvoda},J.Sov。数学。251558--1606(1984年;Zbl 0554.68006) 全文: 内政部 参考文献: [1] S.A.Abramov,《数学构造和编程(俄语)》,莫斯科瑙卡(1978年)。 [2] S.A.阿布拉莫夫?序列集的模型和程序正确性的证明,?Zh公司。维奇尔。Mat.Mat.Fiz.,材料Fiz。,1347年5月20日?1350 (1980). [3] 阿加福诺夫?编程语言中数据的类型和抽象,?in:编程语言中的数据;抽象与类型学[俄语翻译]。Mir,莫斯科(1981),第266页?327 [4] V.N.阿加法诺夫?关于类PASCAL语言中变量的语义,?in:茶色。《编译基础(俄语)》,新西伯利亚(1980),第17页?23 [5] M.I.Auguston、R.P.Balodis、Ya。M.Barzdin’和A.A.Kalnin’sh,《PL/I OS ES子集(俄语)》,里加(1976)。 [6] I.O.Babaev、S.S.Lavrov、F.A.Novikov和T.N.Petrushina?提供应用调查的专业计划,?全联合人工智能和系统编程问题数学逻辑方法会议,帕兰加,1980年,第2部分,报告和通信主题,维尔纽斯(1980年),第7页?25 [7] V.V.Bublik?广义结构归纳法,?Kibernetika,第3,60号?61 (1977). [8] É. O.Bunimova、V.Sh.Kaufman和V.A.Levin?关于语言投射的描述,?维斯特。莫斯科。戈斯。维奇尔大学。Kibern女士。,4号,68号?73 (1978). ·Zbl 0442.68005号 [9] G.Sh.Val'dman和I.B.Zadykhailo?关于确定编程语言非程序性程度的一些考虑,?IPM Akad。Nauk SSSR,第51号预印本,莫斯科(1977年)。 [10] A.Gating,直觉主义[俄语翻译],Mir,莫斯科(1966年)。 [11] V.M.Glushkov?从程序员的角度看形式理论的不完备性定理,?Kibernetika,2号,1号?5 (1979). [12] 格卢什科夫?自动机理论和微程序的形式化转换,?Kibernetika,5号,1号?9 (1965). [13] V.M.Glushkov,Yu。V.Kapitonova和A.A.Letichevskii?数据结构理论与同步并行计算,?Kibernetika,6号,1号?15 (1976). [14] V.M.Glushkov、G.E.Tseilin和E.L.Yushchenko,《代数、语言、编程(俄语)》,瑙科瓦·杜姆卡,基辅(1978)。 [15] V.M.Glushkov、G.E.Tseilin和E.L.Yushchenko?结构化并行程序的分析与综合问题,?Kibernetika,3号,1号?16 (1981). ·Zbl 0493.68020号 [16] G.G.Gnezdilova?验证程序及其与结构化编程的联系,?苏联科学院和苏联科学院联合共和国科学院科学研究院科学研究实验室、研究所和科学中心规划全国规划科学研究院,莫斯科(1980年)(手稿存放于1980年5月16日,第1882-80号部门)。 [17] 戈萨先生?语言和语义构造器的分析语义,?Mat.Issled公司。(基希涅夫),第59、3号?12 (1980). [18] 戈萨先生?编程的组合结构方法,?人工智能和系统编程问题中的数理逻辑方法联盟会议,帕兰加,1980年,第2部分。《报告和通信文本》,维尔纽斯(1980),第161页?168 [19] O.-J.Dahl等人,《结构规划》,学术出版社(1972年)。 [20] E.Dexter,《编程学科》[俄语翻译],和平号,莫斯科(1978年)。 [21] A.P.Ershov?操作员算法。I(基本概念),?问题。基伯恩。,1, 5?48 (1960). [22] A.P.Ershov?操作员算法。II(编程的基本结构描述),问题。基伯恩。,8, 211?233 (1962). [23] A.P.Ershov?计划方案理论的现代状态,?问题。基伯恩。,27 87?110 (1973). [24] A.P.Ershov,《理论规划导论(方法讨论)》(俄语),莫斯科瑙卡(1977年)。 [25] A.P.Ershov?关于系统编程的理论原理,?多克。阿卡德。诺克SSSR,233,No.2,272?275 (1977). ·Zbl 0371.68006号 [26] A.P.Ershov?关于翻译的本质,?Programmirovanie,第5、21号?39 (1977). [27] A.P.Ershov?递归程序混合计算的组织,?多克。阿卡德。诺克SSSR,245,No.5,1041?1044 (1979). ·Zbl 0456.68019号 [28] A.P.Ershov?对当前编程问题的一些主观评论,?系统与理论规划展望。程序。全联合研讨会,1978年,新西伯利亚,1979年,第113页?126 [29] A.P.Ershov?混合计算、潜在应用和调查问题,?全联合人工智能和系统编程问题数学逻辑方法会议,帕兰加(1980年),第2部分,报告和通信文本,维尔纽斯(1980),第26页?55 [30] 于。L.Ershov?建设性模型,?摘自:《代数和逻辑问题选》,新西伯利亚诺卡(1973),第111页?130 [31] 于。L.Ershov?有限类型的可计算泛函,?代数Loglka,11,No.4,367?437 (1972). [32] 于。L.Ershov?A空间理论,?代数逻辑,12,4,360?416 (1972). [33] 于。L.Ershov,《数字理论(俄语)》,瑙卡,莫斯科(1977年)。 [34] 于。L.Ershov,《可解性问题和构造模型》(俄语),瑙卡,莫斯科(1980年)。 [35] I.B.Zadykhailo和S.D.Zelenetski?关于计算系统中同步的形式化定义方法,?IPM Akad。Nauk SSSR,预印本(1980),第133号。 [36] I.V.Kasatkina?关于结构化程序正确性的证明,?《构建程序设计系统的问题(俄语)》,基辅(1978年),第59页?74 [37] V.Sh.Kaufman?创建编译器的投影方法,?in:《系统与理论规划展望》。程序。全联合研讨会,新西伯利亚(1979),第87页?103 [38] V.Sh.Kaufman和A.V.Kuryshev?用马可蒂、莱德加德和巴赫曼的方法评价V语言,?《翻译方法(俄语)》,罗斯托夫·翁·登(1981),第84页?92 [39] V.Sh.Kaufman和V.A.Levin?V语言交流(初步),?摘自:《计算中心著作》,MGU,第33期(1980年),第79页?95 [40] 是的。A.库库特?用于证明程序属性的形式化系统,?算法和程序理论,《共和国部门间科学著作汇编》,第3期,里加(1977),第103页?126 [41] 是的。A.卡库特?程序在形式化系统中某些属性的证明,?《共和国部门间科学著作汇编》,第3期,里加(1977年),第127页?142 [42] G.M.Kursanov和G.E.Tseilin?算法代数公理系统完备性的几个问题,?Kibernetika,第4、35号?37 (1977). [43] A.S.Kleshchev?编程语言的关系模型,?系统与理论规划发展展望,Proc。全联合研讨会,新西伯利亚(1978),第73页?76 [44] A.S.Kleshchev?计算的关系模型,?海参崴DVNTs AN SSSR预印自动化和控制过程研究所(1979)。 [45] A.S.Kleshchev?程序设计的关系语言及其在顺序计算机上实现的原理,?DVNTs Akad预打印仪器自动化和控制过程。Nauk SSSR,海参崴(1979)。 [46] S.K.Cliny,《数学导论》[俄语翻译],伊利诺伊州,莫斯科(1957年)。 [47] A.N.科尔莫戈罗夫?关于算法的概念,?乌斯普。Mat.Nauk,8号,4号,175?176 (1953). [48] A.N.Kolmogorov和V.A.Uspenskii?关于算法的定义,?乌斯普。Mat.Nauk,13号,4号,3号?28 (1958). [49] V.I.Konstantinov和D.I.Svirinko?关于并行编程微型语言的数学语义,?in:问题。Programmirovaniya,新西伯利亚(1976),第81页?93 [50] N.K.Korostina?编程语言的操作语义模型,?《语言处理器的实现问题》,Valdivostok(1979),第3页?33 [51] N.K.Kosovskii?循环算子性质证明规则的等价性,?维奇尔。泰克。沃普。基伯恩。,列宁格勒,第16、67号?74 (1979). [52] V.S.Kostyrko?关于,?型循环算子正确性的证明,?Kibernetika,第5、55号?59 (1977). ·Zbl 0382.68014号 [53] V.S.Kostyrko?关于证明程序正确性的方法,?Kibernetika,1号,50号?58 (1978). ·Zbl 0384.68017号 [54] V.E.Kotov?并行编程理论:应用方面,?Kibernetika,1号,1号?16 (1974). [55] V.E.Kotov,《程序设计方案理论导论(俄语)》,新西伯利亚瑙卡(1978年)。 [56] V.E.Kotov?并行计算的形式化模型,?悉尼威立雅运输公司。其他日期。阿卡德。Nauk SSSR,预印本,第165号(1969年)。 [57] V.E.Kotov?控制类型的并行编程,?Kibernetika,3号,1号?13(1979年)。 [58] N.A.Krintskii?算法的广义形式定义,?问题。基伯恩。,32号、161号?186 (1977). [59] N.A.Krintskii?关于程序和算法的逻辑方案,?Programmirovanie,3号,3号?13(1980年)。 [60] S.P.Kritskii?结构和编程语言中的同步计算模型,?《翻译方法》,罗斯托夫·翁·登(1981),第92页?100 [61] N.A.Krupko?关于逻辑演绎的自动系统,?Programmirovanie,第3、28号?40 (1978). ·Zbl 0419.68026号 [62] V.P.Kutepov?函数方案和并行算法的微积分,?Programmirovanie,第6、3号?15 (1976). ·Zbl 0397.68006号 [63] V.P.Kutepov和V.N.Fal'k?函数方案语言中函数值的异步计算模型,?Programmirovanie,3号,3号?15 (1978). [64] B.A.Kushner,《建构主义数学分析讲座(俄语)》,瑙卡,莫斯科(1973年)·Zbl 0547.03040号 [65] S.S.拉夫罗夫?给出编程语言语义的方法,?Programmirovanie,第6、3号?10 (1978). [66] I.A.Lomazova?具有转换运算符的程序的总正确性的公理化,?《编译的理论基础(俄语)》,新西伯利亚(1980),第3页?16 [67] A.A.利亚普诺夫?关于程序的逻辑方案,?程序。第三届全美数学大会。一、阿卡德。Nauk SSSR,莫斯科(1956年),第193页·Zbl 0464.68023号 [68] A.I.Mal'tsev,《代数系统(俄语)》,瑙卡,莫斯科(1970年)。 [69] A.I.马尔塞夫?构造代数。一、 ,?乌斯普。Mat.Nauk,16岁,3号,3号?60(1961年)。 [70] Z.Manna?程序不动点理论,?基伯恩。警察,15,38?100 (1978). [71] A.A.Markov?算法理论,?Tr.Mat.Inst.Akad.公司。Nauk SSSR(1954年)。 [72] A.A.Markov?关于建构主义数学,?Tr.Mat.Inst.Akad.公司。Nauk SSSR,8?14 (1962). [73] P.Martin-Löf,《建构数学讲座》【俄语翻译】,米尔,莫斯科(1974年)。 [74] V.Yu。Meitus和I.V.Tancher?结构算法代数和并行计算,?IK阿卡德。诺克乌克。SSR,预印本,第11期(1977年)。 [75] 通用造币厂?闭范畴与证明理论,?扎普。瑙奇。Sem.Leningr.列宁格勒。其他日期。材料仪表,68、83?第114页(1977年)。 [76] 通用造币厂?E定理的稳定性和程序的验证,?Semiotika Inf.,第12、73号?77 (1979). [77] L.Misyavichute?关于保持程序正确性的形式变换,?Semiotika Inf.,第12、77号?81 (1979). [78] 尼泊尔?关于构建正确的程序,?沃普。基伯恩。,46, 88?113 (1978). [79] N.N.Nepevoda?自然演绎规则与高级算法语言算子之间的关系,?多克。阿卡德。诺克SSSR,239,No.3,526?529 (1978). ·Zbl 0392.68004号 [80] N.N.Nepevoda?关于用正确的子程序构造正确程序的方法,?Programmirovanie,1号,15号?25 (1979). [81] N.N.Nepevoda?证明理论在构造正确程序问题中的应用,?Kibernetika,2号,43号?48 (1979). [82] N.N.Nepevoda?关于构建非过程编程语言的一些可能性,?系统和理论规划发展展望。程序。全联合研讨会,1978年,新西伯利亚,1979年,第56页?64 [83] N.N.Nepevoda?有界结构的构造逻辑,?《相关逻辑与继承理论》,第二次苏芬逻辑学术讨论会材料,莫斯科,1979年,莫斯科(1979),第76页?80 [84] N.N.Nepevoda?构建正确程序问题的逻辑和算法形式,?Programmirovanie,6号,3号?14 (1981). [85] N.N.Nepevoda?一个新一代语言系统的项目,?in:高效计算系统。全联合国会议,第比利斯(1981年),莫斯科(1981),第69页?71 [86] N.N.Nepevoda和D.I.Svilidenko?从逻辑角度编程,?Inst.Mat.兄弟姐妹。其他日期。阿卡德。Nauk SSSR,预印T-1,新西伯利亚(1981)。 [87] N.N.Nepevoda和D.I.Svilidenko?从逻辑角度编程,?仪器材料标准。其他日期。阿卡德。Nauk SSSR,预印本,第T-2号(1981年)。 [88] V.A.Nepomnyashchii和L.V.Chernobrod?关于利用计算机验证程序的正确性,?《Problemy Programmirovaniya》(俄语),新西伯利亚(1976年),第63页?80 [89] 尼瓦先生?关于程序递归方案的解释问题,?《程序设计理论和翻译方法》(俄语),新西伯利亚(1977),第122页?154 [90] P.S.Novikov,《从古典逻辑角度看建构数学逻辑》(俄语),瑙卡,莫斯科(1977年)。 [91] A.Ollongren,《通过解释自动化定义编程语言》【俄语翻译】,米尔,莫斯科(1977年)·Zbl 0417.68005号 [92] 关于ALGOL-68的修订报告[俄文翻译],莫斯科(1979年)。 [93] A.Ollongen,A.Yu。Yu,Plyushkyavichene。V.Sakalauskaite和S.P.Yunka?关于程序逻辑,?Kibernetika,2号,12号?第19页(1979年)。 [94] R.A.Plyushkyavichus?程序分析和综合的逻辑基础,?Semiotika Inf.(莫斯科),第12、92号?96(1979年)。 [95] V.N.Red'ko?组合编程基础,?Programmirovanie,3号,3号?13 (1979). [96] H.Rodgers,递归函数和有效可计算性理论,McGraw-Hill(1966)。 [97] V.Yu。萨佐诺夫?顺序和并行计算功能,?同胞。材料Zh。,17号,3号,648?672 (1976). [98] V.Yu。萨佐诺夫?司各特语言中泛函的可表达性,?代数逻辑,15,3,308?330 (1976). ·Zbl 0415.03011号 ·doi:10.1007/BF01876321 [99] D.I.斯维里登科?编程语言的数学语义的一些问题,?维奇尔。维普·西斯特米。67,新西伯利亚(1976),第93页?105 [100] 《程序设计语言的语义》[俄语翻译],米尔,莫斯科(1980)。 [101] D.S.Scott?计算数学理论简图,?基伯恩。警察,24,107?121 (1977). [102] D.S.Scott?格理论,数据类型和编程,?in:《程序设计语言中的数据》【俄语翻译】,Mir,莫斯科(1982),第25页?54 [103] S.A.Solakhyan?关于编程语言语义的形式化描述,?Programmirovanie,3号,3号?12 (1976). [104] S.A.Solakhyan?使用维也纳定义语言的程序的属性证明,?Programmirovanie,第4、33号?42 (1976). [105] S.A.Solakhyan?包含过程和条件运算符的程序的属性证明,?Programmirovanie,第2、28号?36 (1977). ·Zbl 0419.68017号 [106] V.A.Tuzov?翻译关系的对等性,?Kibernetika,第6、15号?22 (1975). [107] V.A.Tuzov?关于算法的最优方案,?Zh公司。维奇尔。Mat.Mat.Fiz.,材料Fiz。,第51282号?1289 (1971). [108] V.A.Tuzov?规则到规则的映射,?in:《系统与理论编程》(俄语),第2卷,基希涅夫(1974),第103页?112 [109] V.A.Tuzov?关于语言的形式化,?Programmirovanie,5号,25号?35 (1978). [110] V.A.Tuzov?关于描述编程语言的方法,?Programmirovanie,第3、14号?23 (1979). ·Zbl 0439.68013号 [111] V.A.Tuzov?一种构建语言、语义、,?Programmirovanie,第3、7号?15 (1981). ·兹伯利0477.68018 [112] É. 邱古?在通往实用程序综合的道路上,?Kibernetika,6号,34号?43 (1976). [113] V.A.Uspenskii?可计算操作和程序的概念,?乌斯普。Mat.Nauk,11岁,4号,172岁?176 (1956). [114] V.A.Uspenskii和A.L.Semenov?Post机器程序的分析与综合,?Mat.Shkole,3号,18号?第27页(1967年)。 [115] G.S.Tseitin?编程验证证明系统语言的一些特性,?编程理论。第2部分。程序。全联合交响乐团。,新西伯利亚(1971),新西伯利亚斯克(1972),第234页?249 [116] G.S.Tseitin?编程中的非数学思想,?系统与理论规划展望。程序。全联合交响乐团。,新西伯利亚(1978),新西伯利亚斯克(1979),第128页?132 [117] G.S.Tseitin?ALGOL-68中并行执行和灵活名称的实现,?程序。全联合交响乐团。新算法语言的实现方法。第二部分,新西伯利亚(1975),第74页?87 [118] L.V.Chernobrod?程序的正确性和等效性,?Programmirovanie,第6、16号?25 (1976). ·Zbl 0397.68009号 [119] L.V.Chernobrod?程序正确性验证:集合操作的形式化,?《系统编程理论与实践》(俄语),新西伯利亚(1977),第86页?94 [120] N.A.沙宁?关于对数学论点的建设性理解,?程序。第三届全美数学大会。一、莫斯科,阿卡德。Nauk SSSR(1956),第189页?190 [121] L.B.E.fros?程序系统的概念分析,?Upravl公司。马西尼姐妹会,2号,25号?32 (1979). [122] S.P.尤克纳?关于程序部分正确性理论的特征化问题,?Programmirovanie EVM(维尔纽斯),第12、93号?126 (1979). ·Zbl 0413.68011号 [123] S.P.Yunka?关于递归公理化Hoare理论可解性的一个判据,?Semiotika Inf.(莫斯科),第12、98号?102 (1979). [124] E.L.Yushchenko和I.V.Kasatkina?程序正确性的现代证明方法,?Kibernetika,第6、37号?62 (1980). [125] 编程语言ADA(初步通信),《统计金融》,莫斯科(1981年)。 [126] 于。I.亚诺夫?关于算法的逻辑方案,?问题。基伯恩。(莫斯科),175?127 (1958). ·Zbl 0085.34003号 [127] K·亚伯拉罕森?并发非确定性程序的模态逻辑,?莱克特。注释计算。科学。,70, 21?33 (1979). ·兹比尔0402.68010 ·doi:10.1007/BFb0022461 [128] G.Aguzzi、R.Pinzani和R.Sprugnoli?编程语言语义的算法方法,?摘自:《自动机,语言与程序设计》,阿姆斯特丹出版社(1973年),第147页?166. ·Zbl 0262.68007号 [129] L.Aiello和M.Aiella?类型化编程语言语义-微积分,?莱克特。注释计算。科学。,37, 240?251 (1975). ·Zbl 0331.68006号 ·doi:10.1007/BFB029529 [130] S.Alagic?关于结构良好的程序的正确性证明。一、 ,?材料容器。,1,3号,251?261 (1977). ·Zbl 0382.68012号 [131] S.Alagic?关于结构良好的程序的正确性证明。二、 ,?材料容器。,1、3、263?269 (1977). ·Zbl 0382.68013号 [132] L.Ammeral?程序语句如何转换谓词,?GJ-6贾勒斯塔格。,斯图加特(1976),柏林e.a.(1976)第109页?120 [133] E.R.Anderson、F.C.Belz和E.K.Blum?塞马诺(73)。用于编程语言语义的元语言,?《信息学报》,第6期,第2期,第109页?131 (1976). ·兹比尔0309.68011 ·doi:10.1007/BF00268496 [134] T.Anderson和R.W.Witty?安全编程,?BIT(Sver.),18,1号,1号?8 (1978). ·Zbl 0377.68011号 ·doi:10.1007/BF01947739 [135] H.Andréka、I.Nemeti和I.Sain?程序和程序方案验证中的完整性问题,?莱克特。票据构成。科学。,52, 30?44 (1977). ·doi:10.1007/3-540-08342_1-3 [136] G.Degli Antoni、P.Miglioli和M.Ornaghi?在直觉框架中综合程序,?米兰大学(1974年)·Zbl 0296.68017号 [137] K.R.公寓?霍尔十年的逻辑:一项调查,?Prac.实践。第五次扫描。逻辑交响乐。,奥胡斯(1979),第1页?44 [138] K.R.Apt和J.W.de Bakker?Pascal过程的语义和证明理论,?莱克特。注释计算。科学。,52, 30?44 (1977). ·Zbl 0353.68036号 ·doi:10.1007/3-540-08342-1_3 [139] Arbib博士和Alagic博士?goto的证明规则,?《信息学报》,第11期,第2期,第139期?148 (1979). ·doi:10.1007/BF00264021 [140] M.A.Arbib和E.G.Manes?树转换和无环程序的语义,?网络学报。,4号,1号,11号?17 (1978). [141] A.阿诺德?Semostive algébraique de l'appel par valeur,?RAIRO信息理论。,12号,2号,69号?82 (1978). ·doi:10.1051/ita/1978120200691 [142] A.阿诺德和M.尼瓦特?非确定性递归程序方案,?莱克特。票据构成。科学。,52, 30?第44页(1977年)·Zbl 0361.68020号 ·doi:10.1007/3-540-08342-1_3 [143] A.阿诺德和M.尼瓦特?非确定性递归程序方案的形式计算,?数学。系统。理论,13219?236 (1980). ·Zbl 0441.68044号 ·doi:10.1007/BF01744297 [144] E.A.Ashcroft和W.W.Wadge?LUCID?编写和证明程序的正式系统,?SIAM J.计算。,5号,3号,336?354 (1976). ·Zbl 0362.68030号 ·doi:10.1137/0205029 [145] R.J.回来了?无界不确定性的语义,?莱克特。注释计算。科学。,85, 51?63 (1980). ·Zbl 0425.68021号 ·doi:10.1007/3-540-10003-2_59 [146] J.巴克斯?编程能从冯·诺依曼风格中解放出来吗?函数式及其程序代数,?Commun公司。ACM,21,8号,613?641 (1978). ·Zbl 0383.68013号 ·doi:10.1145/359576.359579 [147] 小H.G.Baker?实时计算的参与者系统,?麻省理工学院实验室计算。科学。技术代表。,第197号(1978年)。 [148] J.W.de Bakker?语义学中的不动点方法:理论与应用,?数学。中心道,63,1?53 (1975). [149] J.W.de Bakker?使用广义树的无限过程语义,?莱克特。票据构成。科学。,53, 240?246 (1977). ·Zbl 0368.68011号 ·doi:10.1007/3-540-08353-7_141 [150] J.W.de Bakker?语义和程序证明的基础,?Inf.Processes,77,阿姆斯特丹e.a.(1977),第279页?284 [151] L.Banachowski、A.Kreczmar、G.Mirkowska、H.Rasiow和A.Salwicki?算法逻辑简介,?巴纳赫美分。出版物。其他。2,华沙(1977),第7页?99 [152] V.R.Basili和R.E.Noonan?结构化编程的公理模型和函数模型的比较,?IEEE传输。软件工程师,6,编号5454?465 (1980). ·Zbl 0436.68005号 ·doi:10.1109/TSE.1980.230494 [153] F.L.Bauer?通过逐步转换进行程序开发。项目CIP,?莱克特。注释计算。科学。,69, 237?272号(1979年)·Zbl 0408.68064号 ·doi:10.1007/BFb0014671 [154] F.L.Bauer、M.Broy、H.Partsch、P.Perpper和H.Wössner?转换规则的系统性,?莱克特。注释计算。科学。,69, 273?289 (1979). ·Zbl 0399.68009号 ·doi:10.1007/BFb0014672 [155] J.Bergstra?什么是抽象数据类型??信息处理。莱特。,7号,1号,42号?43 (1978). ·Zbl 0374.68023号 ·doi:10.1016/0020-0190(78)90038-8 [156] J.Bergstra?过程的递归理论,?国际期刊计算。数学。,7号,2号,119号?128 (1979). ·Zbl 0404.03033号 ·doi:10.1080/0207167908803163 [157] J.Bergstra?概率数据的有效转换,?Z.数学。日志。格伦德尔。数学。,25号3号219号?226 (1979). ·Zbl 0424.03021号 ·doi:10.1002/malq.19790251305 [158] J.Bergstra和J.Tiurin?利用程序属性实现代数结构的隐式可定义性,?数学。研究,2,58?63 (1979). [159] J.Bergstra和J.V.Tucker?关于数据类型规范的有限方程方法的充分性,?SIGPLAN通知。,14号11号13号?18 (1979). ·数字对象标识代码:10.1145/988056.988058 [160] J.Bergstra?通过有限方程规范化方法表征可计算数据类型,?莱克特。注释计算。科学。,85, 76?90 (1980). ·Zbl 0449.68003号 ·doi:10.1007/3-540-10003-2_61 [161] D.M.Berry?关于R.D.Tennent基于语义原则的语言设计方法的评论:ALGOL 68,一种使用语义原则设计的语言,?《信息学报》,第15期,第1期,第83期?98 (1981). ·Zbl 0423.68002号 ·doi:10.1007/BF00269810 [162] G.Berry和J.J.Levy?对《?》中一些句法结果的调查-微积分,?莱克特。注释计算。科学。,74, 552?566 (1979). ·兹伯利0416.03016 ·doi:10.1007/3-540-09526-8_56 [163] 伯特先生?嵌套声明转换的形式化,?Elektron公司。Kybern公司。,13号,1号?2, 79?96(1977年)·Zbl 0361.68043号 [164] A.Bertoni、G.Mauri和P.A.Miglioli?抽象数据类型作为模型理论不变量的特征,?莱克特。注释计算。科学。,71, 26?37 (1979). ·Zbl 0411.68033号 ·doi:10.1007/3-540-09510-13 [165] A.贝托尼?走向抽象数据类型理论:问题和工具的讨论,?莱克特。注释计算。科学。,83, 44?52 (1980). ·Zbl 0435.68022号 ·doi:10.1007/3-540-09981-64 [166] W.Bibel?Pradications Programmieren,?莱克特。注释计算。科学。,33, 274?283 (1975). ·doi:10.1007/3-540-07407-4_30 [167] W.Bibel?语法导向语义支持的程序合成,?Artif公司。英特尔。,14号,3号,243号?261 (1980). ·doi:10.1016/0004-3702(80)90050-8 [168] D.比约纳?编程语言:语言学和语义学,?国际计算。交响乐团。1977年,阿姆斯特丹e.a.(1977),第511页?536 [169] D.比约纳?编程语言:解释器和编译器的正式开发,?国际计算。交响乐团。1977年,阿姆斯特丹e.a.(1977),第1页?21 [170] D.比约纳?维也纳开发方法(VDM);软件规范和程序综合,?莱克特。注释计算。科学。,75, 326?359 (1979). ·Zbl 0404.68009号 ·doi:10.1007/3-540-09541-1_33 [171] D.比约纳?块结构GOTO语言建模实验:EXIT与CONTINUATION,?莱克特。注释计算。科学。,86, 216?247 (1980). ·Zbl 0435.68010号 ·doi:10.1007/3-540-10007-5_38 [172] D.Bjorner和C.B.Jones(编辑),《维也纳发展方法:Methalanguage》,?莱克特。票据构成。科学。,63, 1?15 (1978). [173] A.斑点?程序证明人-关系,?Elektron公司。Kybern公司。,11号,4号?6267?274 (1975). ·Zbl 0328.68013号 [174] A.斑点?对一些程序验证方法的比较审查,?莱克特。注释计算。科学。,53, 17?33 (1977). ·Zbl 0361.68011号 ·doi:10.1007/3-540-0853-7_124 [175] A.斑点?迭代程序验证的分析方法,?通知。过程。77.程序。IFIP大会。,多伦多,1977,阿姆斯特丹e.a.(1977),第285页?290. ·Zbl 0363.68016号 [176] A.斑点?输入输出语义与程序验证综述,?IPI PAN出版社,第344号(1979年)·Zbl 0407.68011号 [177] A.斑点?指定编程,?莱克特。注释计算。科学。,75, 228?251 (1979). ·Zbl 0404.68004号 ·doi:10.1007/3-540-09541-1_29 [178] A.斑点?用代数方法分析程序,?巴纳赫美分。公开。,第二卷,华沙,2167?213 (1977). ·Zbl 0358.68026号 [179] A.斑点?断言编程,?莱克特。注释计算。科学。,74, 26?42 (1979). ·Zbl 0404.68018号 ·doi:10.1007/3-540-09526-83 [180] H.吊杆?抽象思想,?ALGOL公牛。,43, 91?96 (1978). [181] G.Boudol?一个新的递归归纳原理,?莱克特。注释计算。科学。,67, 79?90 (1979). ·Zbl 0405.68008号 ·doi:10.1007/3-540-09118-1_10 [182] M.Broy、W.Dosch、H.Partsch、P.Pepper和M.Wirsing?抽象数据类型中的存在量词,?莱克特。注释计算。科学。,71, 79?87 (1979). ·Zbl 0404.68026号 [183] M.Broy、R.Gnatz和M.Wirsing?不确定和不连续结构的语义,?莱克特。注释计算。科学。,69, 553?592 (1979). ·Zbl 0406.03059号 ·doi:10.1007/BFb0014683 [184] 布鲁伊先生和佩珀先生?作为正式活动的项目开发,?IEEE传输。软件工程师,7,No.1,14?22 (1981). ·兹比尔0447.68005 ·doi:10.1109/TSE.1981.230815 [185] M.Broy、P.Pepper和M.Wirsing?关于程序之间的关系,?莱克特。注释计算。科学。,83, 59?78 (1980). ·Zbl 0435.68017号 ·doi:10.1007/3-540-09981-65 [186] B.Buchberger?哥德尔数的某些分解和编程语言的语义,?Inst,fur num.数学。和elektron。信息概述。,因斯布鲁克大学(1972年)。 [187] R.M.Burstall?电子范畴理论,?莱克特。注释计算。科学。,88, 22?39 (1980). ·Zbl 0462.68003号 ·doi:10.1007/BFb0022493 [188] R.M.Burstall和J.Darlington?开发递归程序的转换系统,?J.协会计算。机器。,24号,1号,44号?67 (1977). ·Zbl 0343.68014号 ·数字对象标识代码:10.1145/321992.321996 [189] R.M.Burstall和M.Feather?通过转换进行程序开发:概述,?方德姆。程序。库尔斯。委员会。Commun公司。《欧洲药典》,图卢兹(1977),勒切斯奈,S.a.(1977)第45页?55 [190] R.M.Burstall和J.A.Goguen?规范语言Clear的语义,?莱克特。注释计算。科学。,86, 292?332 (1980). ·Zbl 0456.68024号 ·doi:10.1007/3-540-10007-541 [191] L.Cardelli?模拟过程,?莱克特。注释计算。科学。,88, 181?193 (1980). ·Zbl 0454.68038号 ·doi:10.1007/BFb0022504 [192] R.Cartwright?一个实用的类型化LISP的形式化语义定义和验证系统,?斯坦福Al-Memo(1976),第296号。 [193] J.C.Cherniavsky和S.N.Kamin?简单编程语言的完整且一致的Hoare公理,?J.协会计算。机器。,26号,1号,119号?128 (1979). ·Zbl 0388.68007号 ·doi:10.1145/322108.322120 [194] L.M.Chirica和D.F.Martin?Knuthian语义的序代数定义,?数学。系统。理论,13,1,1?27 (1979). ·兹伯利039.78087 ·doi:10.1007/BF01744285 [195] 克拉克和达林顿?通过合成进行算法分类,?计算。J.,23,1号,61?65 (1980). ·Zbl 0426.68041号 ·doi:10.1093/comjnl/23.1.61 [196] K·克拉克和A·A·Törlund?数据和程序的一阶理论,?信息处理。77.程序。IFIP大会。,多伦多(1977),阿姆斯特丹e.a.(1977)第939页?944 [197] 小E.M.克拉克?程序设计语言构造,对于它,不可能获得好的Hoare公理系统,?J.协会计算。机器。,26号,1号,129号?147 (1979). ·Zbl 0388.68008号 ·doi:10.1145/322108.322121 [198] 小E.M.克拉克?将不变量编程为定点,?计算机,21,4,273?294 (1979). ·Zbl 0399.68022号 ·doi:10.1007/BF02248730 [199] L.A.Clarke、J.C.Wileden和A.L.Wolf?在Ada项目中筑巢是为了鸟,?SIGPLAN通知。,15号11号139号?145 (1980). ·doi:10.1145/947783.948651 [200] J.C.克利夫兰?意义和句法冗余,?新主任算法。Lang.,1975年,罗克森科特·勒切斯奈(Rocquencourt Le Chesnay,S.a.)(1976年),第115页?124 [201] J.C.克利夫兰?数学规范,?SIGPIAN公司。,15号12号31号?42 (1980). ·doi:10.1145/947800.947802 [202] G.Comyn和G.Werner?可计算数据类型,?莱克特。注释计算。科学。,74, 226?236 (1979). ·Zbl 0409.68005号 [203] R.L.Constable?构造数学和自动程序编写器,?通知。工艺。,71.IFIP大会。1971年,卢布尔雅那,阿姆斯特丹e.a.(1972),第1页,第229页?233 [204] R.L.Constable?构造性编程逻辑,?信息处理。77.程序。IFIP大会。,多伦多(1977),阿姆斯特丹e.a.(1977)第733页?738 [205] R.L.Constable?程序和类型,?IEEE-交响乐。已找到。公司。科学。,拉斯维加斯(1980),第112页?128 [206] S.A.库克?程序验证公理系统的健全性和完整性,?SIAM J.计算。,7号,1号,70?90 (1978). ·Zbl 0374.68009号 ·数字对象标识代码:10.1137/0207005 [207] B.Courselle和M.Nivat?递归程序方案的代数语义,?莱克特。注释计算。科学。,64, 26?30 (1978). [208] G.Cousineau和M.Nivat?关于表示无限有理树的有理表达式:在流程图结构中的应用,?莱克特。注释计算。科学。,74, 567?580 (1978). ·Zbl 0421.68013号 ·doi:10.1007/3-540-09526-8_57 [209] G.Cousineau和P.Enjalbert?程序等效性和概率,?莱克特。注释计算。科学。,74, 237?245 (1979). ·Zbl 0404.68014号 ·doi:10.1007/3-540-09526-8_20 [210] P.库索和R.库索?通信顺序过程的语义分析,?莱克特。注释计算。科学。,85, 119?133 (1980). ·Zbl 0433.68020号 ·doi:10.1007/3-540-10003-2-65 [211] H.B.咖喱?程序组成的逻辑,?收集。逻辑数学。,1952年,巴黎,A5,97?102 (1954). [212] O.-J.Dahl?时间序列作为描述程序行为的工具,?莱克特。注释计算。科学。,86, 273?289 (1980). ·doi:10.1007/3-540-10007-540 [213] O.-J.Dahl?程序证明是否可行,?Fondem项目。Cours Commiss公司。Commun公司。欧洲,图卢兹,1977年,法国勒切斯内,第57页?114 [214] J.达林顿?将规范转化为高效程序,?新的方向算法。朗·罗克恩科特(1976),第135页?145 [215] ?数据类型(小组讨论),?莱克特。注释计算。科学。,54, 7?34 (1977). [216] J.Dean Brock?数据流语言的一致语义,?莱克特。注释计算。科学。,88, 168?180 (1979). ·Zbl 0451.68019号 ·doi:10.1007/BFb0022503 [217] ?国防部对高级计算机编程语言的要求,?SIGPLAN通知。,12号,12号,39号?54 (1977). [218] N.Dershowitz和Z.Manna?用多集排序证明终止,?莱克特。注释计算。科学。,71, 188?202 (1979). ·Zbl 0404.68022号 ·doi:10.1007/3-540-09510-1_15 [219] N.Dershowitz?程序注释的推理规则,?IEEE传输。软件工程师,7,No.2,207?222 (1981). ·Zbl 0463.68023号 ·doi:10.1109/TSE.1981.234518 [220] R.Devillers和G.Loucha'rd?在并行程序验证中使用辅助变量,?国际计算。交响乐团。1977年,阿姆斯特丹e.a.(1977),第215页?225 [221] V.Donzeau-Couge、G.Kahn和B.Lang?关于Ada的形式定义,?莱克特。注释计算。科学。,94, 475?489 (1980). ·数字对象标识代码:10.1007/3-540-10250-7_34 [222] P.J.Downey和R.Sethi?递归语言的正确计算规则,?SIAM J.计算。,5号,3号,378?401 (1976). ·Zbl 0359.68010号 ·数字对象标识代码:10.1137/0205031 [223] B.Dömölki?分层程序规范示例,?莱克特。注释计算。科学。,86, 333?353 (1980). ·doi:10.1007/3-540-10007-542 [224] H.Egli和R.L.Constable?编程语言语义的可计算性概念,?西奥。计算。,科学。,2号,2号,133?145 (1976). ·Zbl 0352.68042号 ·doi:10.1016/0304-3975(76)90029-3 [225] H.D.Ehrich?抽象数据类型规范的扩展和实现,?莱克特。注释计算。科学。,64, 155?164 (1978). ·Zbl 0382.68028号 ·doi:10.1007/3-540-08921-764 [226] H.D.Ehrich?类型定义和结构化变量的代数语义,?莱克特。注释计算。科学。,56, 84?97 (1977). ·Zbl 0356.68023号 ·doi:10.1007/3-540-08442-8_74 [227] H.D.Ehrich?关于实现和实施,?莱克特。注释计算。科学。,18, 271?280 (1981). ·Zbl 0465.68005号 ·doi:10.1007/3-540-10856-493 [228] H.Ehrig、H.J.Kreowski、A.Maggiolo-Schettini、B.K.Rosen和J.Winkowsky?结构转换:代数方法,?数学。系统。理论。,14号,4号,305号?334 (1981). ·Zbl 0491.68035号 ·doi:10.1007/BF01752403 [229] H.Ehrig、H.J.Kreowski和P.Padawitz?抽象数据类型的代数实现:概念、语法、语义和正确性,?莱克特。注释计算。科学。,85, 142?156 (1980). ·兹比尔0457.68019 ·doi:10.1007/3-540-10003-2-67 [230] B.范·埃姆德?最小不动点和递归定理,?数学。中心纯数学系。ZW,第78号(1976年)·Zbl 0333.68014号 [231] 范·埃姆登先生?验证条件作为程序的表示。,?RR CS-76-03,安大略省(1976年)。 [232] M.H.van Emden?带验证条件的编程,?IEEE传输。软件工程师,5,No.2,148?159 (1979). ·Zbl 0395.68008号 [233] M.H.van Emden和R.A.Kowalski?谓词逻辑作为一种编程语言的语义,?J.协会计算。机器。,23号,4号,733?742 (1976). ·Zbl 0339.68004号 ·数字对象标识代码:10.1145/321978.321991 [234] E.A.Emerson和E.M.Clarke?用不动点表征并行程序的正确性,?莱克特。注释计算。科学。,85, 169?181 (1980). ·Zbl 0456.68016号 ·doi:10.1007/3-540-10003-2-69 [235] E.Engeler?算法逻辑,?数学。中心道,63、55?第85页(1975年)·Zbl 0314.68009号 [236] E.Engeler?一种新型的计算模型,?莱克特。注释计算。科学。,53, 52?58 (1977). ·Zbl 0365.68023号 ·doi:10.1007/3-540-08353-7_127 [237] A.P.Ershov和V.V.Grushetski?关于面向实现的描述算法语言的方法,?信息处理77,阿姆斯特丹e.a.(1977),第117页?120 [238] A.P.Ershov和V.E.Itkin?类ALGOL程序混合计算的正确性,?莱克特。注释计算。科学。,53, 59?77 (1977). ·Zbl 0361.68009号 ·doi:10.1007/3-540-08353-7_128 [239] 伊坦先生?拓扑中的Engeler算法,?数学。决议,2128?137 (1979). ·Zbl 0415.03055号 [240] R.J.Fateman?Liap机器与Fortran机器不同吗??SIGSAM公牛。,12、3、8号?11 (1978). ·doi:10.1145/1088269.10882271 [241] I.Fekete和L.Varga?关于VDL对象的形式化定义,?网络学报。,3,第3248号(1977年)·Zbl 0374.68006号 [242] J.-P.财务?编程语言的形式化,?法国版次。自动化。,通知。,里奇。作品。,通知。泰戈尔。,10号,8号,5号?32 (1976). [243] J.-P.金融?作为编程语言语义形式化框架的数据结构,?新的方向算法。Lang.,Rocquencourt(1976),第43页?61. ·Zbl 0361.68044号 [244] M.C.配件?计算机的公理方法,?理论,45,3,97?113 (1979). ·doi:10.1111/j.1755-2567.1979.tb00797.x [245] R.W.Floyd?给程序赋予意义,?程序。交响乐团。申请。数学。AMS,19,19?32 (1967). ·Zbl 0189.50204号 ·doi:10.1090/psapm/019/0235771 [246] R.W.Floyd?编程的范例,?Commun公司。ACM,22,8,455?460 (1979). ·doi:10.1145/359138.359140 [247] J.M.Foster和P.D.Foster?抽象数据和函数,?SIGPLAN通知。,第61261号?167 (1977). ·doi:10.1145/872738.807157 [248] N.Francez、C.A.R.Hoare、D.J.Lehman和W.P.de Roever?不确定性、并发性和通信的语义,?J.计算。系统。科学。,19,3号,290?308 (1979). ·Zbl 0434.68066号 ·doi:10.1016/0022-0000(79)90006-0 [249] D.P.Friedman和D.S.Wise?功能组合,?计算。朗,3,1,31?35 (1978). ·Zbl 0364.68010号 ·doi:10.1016/0096-0551(78)90004-8 [250] J.H.Gallier?递归格式和广义解释,?莱克特。注释计算。科学。,71, 256?270 (1979). ·Zbl 0409.68014号 ·doi:10.1007/3-540-09510-1_20 [251] J.H.Gallier?具有递归过程的非确定性流程图程序:语义和正确性。二、 ,?西奥。计算。科学。,13号2号193?223 (1981). ·Zbl 0441.68011号 ·doi:10.1016/0304-3975(81)90039-6 [252] J.H.Gallier?具有递归过程的非确定性流程图程序:语义和正确性。二、 ,?西奥。计算。科学。,13号,3号,239号?270 (1981). ·兹比尔0461.68015 ·doi:10.1016/S0304-3975(81)80001-1 [253] J.D.Gannon?编程语言中的特征错误,?ACM 1978程序。Ann.Conf.马赫。华盛顿特区(1978),第2卷,纽约(1978)第570页?577. ·doi:10.1145/800178.810093 [254] T.Gergely和L.Ury?一阶经典逻辑框架内的非确定性规划。第一部分,?网络学报。,4号,4号,333?354 (1980). ·Zbl 0451.68029号 [255] T.Gergely和L.Ury?一阶经典逻辑框架内的非确定性规划。第二部分,?网络学报。,4号,第4号,356?375 (1980). ·Zbl 0451.68030号 [256] I.格拉斯纳?简单微积分中while-programs的验证,?申请。计算。科学。,14, 269?281 (1979). ·Zbl 0407.68009号 [257] I.Glassner和J.Loekx?证明while程序性质的微积分,?莱克特。注释计算。科学。,75, 252?281 (1979). ·doi:10.1007/3-540-09541-1_30 [258] C.A.山羊?作为计算说明的证据,?莱克特。注释计算。科学。,87, 39?52 (1980). ·Zbl 0438.68052号 ·doi:10.1007/3-540-10009-14 [259] S.J.Goldsack?线性控制算法的语义定义,?计算。J.,21,4号,381?382 (1978). ·数字对象标识代码:10.1093/comjnl/21.185-a [260] G.A.Gorelick?一个完整的公理系统,用于证明递归和非递归程序的断言,?多伦多大学技术报告。1975年,多伦多,第75号。 [261] S.Goto?通过哥德尔的解释进行程序综合,?莱克特。注释计算。科学。,75, 302?325 (1979). ·Zbl 0407.68041号 ·数字对象标识代码:10.1007/3-540-09541-1_32 [262] Sh.A.Greibach?程序结构理论:方案、语义、验证,?莱克特。注释计算。科学。,36, 34?62 (1975). ·Zbl 0345.68002号 [263] I.Greif和A.R.Meyer?部分正确性断言可以指定编程语言语义吗??莱克特。注释计算。科学。,67、25?26 (1979). ·数字对象标识代码:10.1007/3-540-09118-1.3 [264] I.格雷夫和A.R.迈耶?指定while-programs的语义;对Hoare和Lauer论文的指导和评论,?麻省理工学院实验室计算。科学。技术备忘录。,第130号(1979年)·Zbl 0471.68007号 [265] D.格里斯?编程方法的当前想法,?莱克特。注释计算。科学。,69, 77?93 (1979). ·Zbl 0457.68009号 ·doi:10.1007/BFb0014661 [266] D.格里斯?基本公理定义,?莱克特。注释计算。科学。,69, 94?99 (1979). ·Zbl 0401.68001号 ·doi:10.1007/BFb0014662 [267] D.格里斯?多重赋值语句,?莱克特。注释计算。科学。,69, 100?112 (1979). ·Zbl 0399.68013号 ·doi:10.1007/BFb0014663 [268] D.格里斯?有时比以往更好吗?,?莱克特。注释计算。科学。,69, 113?124 (1979). ·Zbl 0399.68019号 ·doi:10.1007/BFB014664 [269] 格里菲斯先生?编程方法和语言含义,?莱克特。注释计算。科学。,69531?542 (1979). ·doi:10.1007/BFb0014681 [270] J.Gruel和G.Merbeth?Beschreibung der Syntax und Semantik von Programmiersprachen am Beispiel der Beschreipung einer Systemprogrammiersprache的形式,?Elektron公司。通知Ionsverarb。凯伯恩。,11号,4号?6, 258?263 (1975). ·Zbl 0327.68014号 [271] J.格拉尔?Eine Betrachtung zur formalen Beschreibung von Programmiersprachen和Sprachverarbeitungssystemen,?罗斯托克数学。科洛克。,8号,91号?108 (1978). ·Zbl 0397.68031号 [272] P.格雷罗?非确定性程序和谓词变换器的关系模型,?莱克特。注释计算。科学。,83, 136?146 (1980). ·doi:10.1007/3-540-09981-6_10 [273] L.游击队员?A·阿诺德提出的“上诉”提案,?RAIRO信息理论。,12,4,287?289 (1978). ·Zbl 0392.68007号 ·doi:10.1051/ita/1978120402871 [274] G.Guiho和Ch.Gresse?不完整规范的程序综合,?莱克特。注释计算。科学。,87、53?62 (1980). ·Zbl 0445.68012号 ·doi:10.1007/3-540-10009-1_5 [275] A.Hajnal和I.Németi?泛代数、模型理论和范畴在计算机科学中的应用(调查和文献),?计算。凌。计算。朗格,13,251?282页(1979年)。 [276] D.哈雷?程序逻辑:公理和描述能力,?麻省理工学院实验室计算。科学。技术代表。,第200号(1978年)。 [277] D.哈雷?证明常规确定性程序的正确性:使用动态逻辑的统一调查,?西奥。计算。科学。,12号,1号,61号?81 (1980). ·Zbl 0433.68019号 ·doi:10.1016/0304-3975(80)90005-5 [278] D.哈雷?关于和/或计划,?莱克特。注释计算。科学。,88, 246?260 (1980). ·Zbl 0447.68050号 ·doi:10.1007/BFb0022509 [279] E.C.R.Hehner?从语言中删除机器时,?《国际学报》,第10期,第3期,第229期?243号(1978年)·Zbl 0382.68007号 ·doi:10.1007/BF00264318 [280] E.C.R.赫纳?束理论:计算机科学的一个简单集合理论,?信息处理。莱特。,12号,1号,26号?30 (1981). ·Zbl 0454.68039号 ·doi:10.1016/0020-0190(81)90071-5 [281] F.W.von Henke?数据类型、程序验证和程序合成的代数方法,?莱克特。注释计算。科学。,45, 330?336 (1976). ·Zbl 0383.68018号 ·doi:10.1007/3-540-07854-1195 [282] F.W.von Henke?形式化转换和程序开发,?莱克特。注释计算。科学。,53, 288?296 (1977). ·Zbl 0368.68012号 ·doi:10.1007/3-540-08353-7_147 [283] 汉奈尔先生?程序参数在高阶语言中的作用,?SIGPLAN否。,14号7号47号?50 (1979). ·doi:10.1145/954245.954249 [284] M.C.B.轩尼诗?在不确定的环境中,按值调用和按名称调用的语义,?SIAM J.计算。,9号,1号,67号?84 (1980). ·兹比尔0437.68002 ·doi:10.1137/0209005 [285] M.C.B.Hennessy和E.A.Ashcroft?一个不确定类型的语义的数学语义-微积分,?西奥。计算。科学。,11,3号,227?245 (1980). ·Zbl 0462.68006号 ·doi:10.1016/0304-3975(80)90015-8 [286] M.C.B.Hennessy和G.D.Plotkin?CCS的术语模型,?莱克特。注释计算。科学。,88261?274 (1980). ·Zbl 0479.68011号 ·doi:10.1007/BFb0022510 [287] M.C.B.Hennessy和G.D.Plotkin?简单并行编程语言的完全抽象,?数学。已找到。计算。科学。,1979年,程序。第八交响曲。,Olomouc,1979,柏林e.a.(1979),第108页?120. ·Zbl 0457.68006号 [288] P.希区柯克和D.帕克?归纳规则和终止证明,?自动化,语言程序。,阿姆斯特丹e.a.(1975),第225页?251 [289] C.A.R.霍尔?计算机编程的公理基础,?Commun公司。ACM,12,3,576?580, 583 (1969). ·Zbl 0179.23105号 ·doi:10.1145/363235.363259 [290] C.A.R.霍尔?谓词变换器的一些属性,?J.ACM,25,3号,461?480 (1980). ·兹伯利0379.68016 ·数字对象标识代码:10.1145/322077.322088 [291] C.A.R.霍尔?并行编程:公理方法,?计算。朗,1,2,151?160 (1975). ·Zbl 0362.68045号 ·doi:10.1016/0096-0551(75)90014-4 [292] C.A.R.霍尔?沟通顺序过程,?Commun公司。ACM,21,8号,666?677 (1978). ·Zbl 0383.68028号 ·doi:10.1145/359576.359585 [293] C.A.R.霍尔?皇帝的旧衣服,?Commun公司。ACM,24,2,75?83 (1981). ·数字对象标识代码:10.1145/358549.358561 [294] C.A.R.Hoare和J.R.Kenneway?不确定性理论,?莱克特。注释计算。科学。,85, 339?360 (1979). [295] J.R.Hobbs和S.J.Rosenstein?蒙塔古意向逻辑的计算意义,?Artif公司。英特尔。,9号,3号,287?306 (1977). ·Zbl 0379.02005 ·doi:10.1016/0004-3702(77)90025-X [296] G.J.Hogger?逻辑程序的面向目标推导,?莱克特。注释计算。科学。,64267?276 (1978). ·Zbl 0394.68010号 ·doi:10.1007/3-540-08921-774 [297] G.J.Hogger?逻辑程序的推导,?J.协会计算。机器。,28号,2号,372?392 (1981). ·Zbl 0464.68021号 ·doi:10.1145/322248.322258 [298] G.Hornung和P.Raufels?抽象数据类型的终端代数语义和收缩,?莱克特。注释计算。科学。,85, 310?323 (1980). ·doi:10.1007/3-540-10003-2-80 [299] T.E.赫尔?浮点运算和基本函数的语义,?莱克特。注释计算。科学。,54, 37?48 (1977). ·数字对象标识代码:10.1007/3-540-08446-0_34 [300] U.L.Hupbach?抽象数据类型的抽象实现,?莱克特。注释计算。科学。,88, 291?304 (1980). ·Zbl 0467.68008号 ·doi:10.1007/BFb0022512 [301] Z.Huzar?Semantyka计划是如何运作的?中情局/为什么??ia,?波德斯特。斯特罗。,11号,1号,33号?49 (1981). [302] K.Intermark?在更高类型上递归的方案,?莱克特。注释计算。科学。,45, 352?358 (1976). ·doi:10.1007/3-540-07854-1198 [303] J.Irlik?将递归方程转换为算法,?莱克特。注释计算。科学。,64, 277?285 (1978). ·Zbl 0383.68008号 ·doi:10.1007/3-540-08921-775 [304] W.Issel?一种使用集合理论形式描述编程语言语义的方法,?莱克特。注释计算。科学。,45, 364?371 (1976). ·Zbl 0335.68008号 ·doi:10.1007/3-540-07854-1200 [305] J.Jaffar?带数组段的Presburger算法,?Inf.过程通知。,12号2号79号?82 (1981). ·Zbl 0474.03006号 ·doi:10.1016/0020-0190(81)90007-7 [306] R.Janicki?斑点网上的协同程序向量,?莱克特。注释计算。科学。,56113?119 (1977). ·Zbl 0366.68005号 ·doi:10.1007/3-540-08442-876 [307] T.M.V.Janssen和P.van Emde Boas?意图逻辑在编程语言语义中的表达能力,?莱克特。注释计算。科学。,53, 303?311 (1977). ·Zbl 0363.68030号 ·doi:10.1007/3-540-08353-7_149 [308] T.M.V.詹森?关于引用、取消引用和赋值的正确处理,?莱克特。注释计算。科学。,52, 282?300 (1977). ·Zbl 0353.68029号 ·doi:10.1007/3-540-08342-1_22 [309] K.P.Jantike?归纳法合成正确的程序,?Pr.IPI PAN,编号411、41?43 (1980). [310] K.P.Jantike?程序的自动综合和函数的归纳推理,?数学。决议,2219?225 (1979). [311] H.R.Jervell?建设性的宇宙,?莱克特。数学笔记。,669, 73?98 (1978). ·Zbl 0398.03047号 ·doi:10.1007/BFb0103103 [312] C.B.琼斯?编程语言概念模型,?莱克特。注释计算。科学。,86, 100?143 (1977). ·Zbl 0452.68007号 ·doi:10.1007/3-540-10007-536 [313] S.Kamin?最终数据规范,?ACM交响乐团,第七届。原则进展。Lang.,拉斯维加斯(1980),第124页?139 [314] A.神田?建构范畴理论,?莱克特。注释计算。科学。,118, 563?577 (1981). ·Zbl 0481.03039号 ·doi:10.1007/3-540-10856-4_125 [315] A.Kanda和D.Park?两个有效给定的域何时相同??(扩展摘要),Lect。注释计算。科学。,67, 170?181 (1979). ·Zbl 0405.03020号 ·doi:10.1007/3-540-09118-1-19 [316] H.卡彭斯特和H.赖切尔?无上下文语言的初始代数语义,?莱克特。注释计算。科学。,56, 120?126 (1977). ·Zbl 0395.68070号 ·doi:10.1007/3-540-08442-877 [317] D.Kapur和S.Mandayam?数据抽象操作集的表达能力,?第七年,ACM交响乐团。普林西比。程序。Lang.,拉斯维加斯(1980),第139页?153 [318] S.Katz?使用不变量优化程序,?IEEE传输。软件工程师,4,No.5,378?389 (1978). ·Zbl 0385.68015号 ·doi:10.1109/TSE.1978.233858 [319] S.Katz和Z.Manna?仔细看一下终止,?Acta Inf.,5,No.4,333?352 (1975). ·兹比尔0304.68025 ·doi:10.1007/BF00264565 [320] R.B.Kieburtz和J.D.Cherniavsky?包含块出口的程序的结构归纳公理,?程序。交响乐团。计算。《软件工程》,纽约,1976年,XXXIV,纽约布鲁克林(1976年),第239页?250 [321] H.A.Klaeren?抽象软件模块的一类简单算法规范,?莱克特。注释计算。科学。,88, 362?374号(1980年)·Zbl 0461.68024号 ·doi:10.1007/BFb0022517 [322] H.A.Klaeren?Potenzkategorien和ihre Anwendung auf den Beweis von Programmeigenschaften,?莱克特。注释计算。科学。,33, 252?258 (1975). ·Zbl 0312.68010号 ·文件编号:10.1007/3-540-07407-4_28 [323] Y.Kodratoff?由有限个示例和LISP程序方案合成的一类函数,?国际期刊计算。信息科学。,8号,6号,489号?521 (1979). ·Zbl 0427.68019号 ·doi:10.1007/BF00995500 [324] B.科尼科夫斯卡?连续信息系统,?安.社会.数学。政策。,序列号。IVL Fundam公司。Inf.,2,No.1,43?61 (1978). ·Zbl 0408.68086号 [325] L.Kott?Sémantique algébrique d'un语言编程类型ALGOL,?RAIRO信息理论。,11号,3号,237?263 (1977). ·doi:10.1051/ita/1977110302371 [326] R.Kowalski?算法?逻辑+控制,?Commun公司。ACM,22,7,424号?436 (1979). ·Zbl 0404.68010号 ·doi:10.1145/359131.359136 [327] D.Kozen?概率程序的语义,?安20交响曲。已找到。计算。科学。,圣胡安,1979年,纽约,纽约(1979年),第101页?114 [328] A.Kreczmar?关于有限和无限计算,?莱克特。注释计算。科学。,56, 441?446 (1977). ·Zbl 0356.68036号 ·doi:10.1007/3-540-08442-8_113 [329] G.Kreisel?证明理论在寻找计算机程序中的一些应用,?综合利息日志。克莱蒙·弗莱德,1975年,巴黎(1977年),第123页?124 [330] P.Kroha?精神病学转变,?魏特比尔顿增。数学。凯伯恩。与Rechentechn。信息概述。,德累斯顿科技大学,42、92号?98 (1980). [331] F.克罗格?LAR:算法推理的逻辑,?《信息学报》,第8期,第3期,第243期?266 (1977). ·兹伯利0347.68016 ·doi:10.1007/BF00264469 [332] I.库普卡?Van Wijngaarden文法作为一种特殊的信息处理模型,?莱克特。注释计算。科学。,88387?401 (1979). ·Zbl 0447.68091号 ·doi:10.1007/BFb0022519 [333] R.Kurki-Soonio?不确定性、平行性和断断续续的断言,?莱克特。注释计算。科学。,75, 106?126 (1979). ·Zbl 0404.68019号 ·doi:10.1007/3-540-09541-1_24 [334] W.Kühnel、J.Meseguer、M.Pflender和I.Sols?本原递归代数理论和程序方案,?牛市。南方的。数学。Soc.,17号,2号,207号?233 (1977). ·Zbl 0354.18001号 ·doi:10.1017/S0004972700010431 [335] L.Lamport??什么时候?有时是吗?永远不会?,?第七年,ACM交响乐团。普林克。程序的。Lang.,拉斯维加斯(1980),第174页?185 [336] L.Lamport?交互式程序正确性的规范和证明,?莱克特。注释计算。科学。,75, 474?537 (1979). ·Zbl 0404.68017号 ·doi:10.1007/3-540-09541-1_37 [337] A.van Lamsweerde和M.Sintzoff?强正确并发程序的形式化推导,?Acta Inf.,12,1号,1号?31 (1979). ·Zbl 0389.68012号 ·doi:10.1007/BF00264015 [338] H.Langmaak和E.R.Olderog?现代编程语言与过程的类Hoarelike系统:功能、限制和最可能的扩展,?莱克特。注释计算。科学。,85, 363?373 (1979). ·doi:10.1007/3-540-10003-2_84 [339] G.A.Lanzarone和M.Ornaghi?通过保持正确性的细化来构建程序,?计算。J.,18,1号,55?62 (1975). ·Zbl 0309.68024号 ·doi:10.1093/comjnl/18.155 [340] 拉兹洛?Floyd-Hoare可导性语义综述,?计算。凌。计算。朗格,14岁,21岁?42 (1980). [341] P.E.Lauer和M.W.Shields?在COSY中验证并发系统规范,?莱克特。注释计算。科学。,88, 576?586 (1980). ·Zbl 0463.68029号 ·doi:10.1007/BFb0022534 [342] P.E.Lauer和M.W.Shields?资源访问规程的抽象规范:充分性、饥饿、优先级和中断,?SIGPLAN否。,13号,12号,41号?59 (1978). ·doi:10.1145/954587.954591 [343] P.E.Lauer和M.W.Shields?关于并发系统同步特性的抽象规范和形式化分析,?莱克特。注释计算。科学。,75, 1?32 (1979). ·Zbl 0457.68027号 ·文件编号:10.1007/3-540-09541-1_21 [344] D.J.Lehmann?定点语义的类别,?第17届Ann.Symp。已找到。计算。科学。德克萨斯州休斯顿,1976年,纽约(1976年),第122页?126 [345] R.J.利普顿?Hoare逻辑存在的充要条件,?安18号交响乐团。已找到。计算。科学。,普罗维登斯,R.I.,1977年,纽约(1977年),第1页?6 [346] R.L.伦敦?关于语言设计的程序验证影响的备注,?莱克特。注释计算。科学。,54, 313?320 (1977). ·doi:10.1007/BFb0021429 [347] R.L.London、J.V.Guttag、J.J.Horning、B.W.Lampson、J.G.Mitchell和G.J.Popek?程序设计语言欧几里得的证明规则,?《学报》,第10期,第1期,第26期(1978年)·Zbl 0385.68009号 ·doi:10.1007/BF00260921 [348] M.E.Majster-Cederbaum?非确定性程序的关系和谓词转换语义之间的简单关系,?信息处理。莱特。,11号,4号?5190?192 (1980). ·Zbl 0468.68012号 ·doi:10.1016/0020-0190(80)90048-4 [349] M.E.Majster-Cederbaum?语义学:代数,不动点,公理,?莱克特。注释计算。科学。,85, 394?408 (1980). ·doi:10.1007/3-540-10003-2-87 [350] M.E.Majster-Cederbaum?数据类型、抽象数据类型及其规范问题,?西奥。计算。科学。,8号,1号,89?127 (1979). ·Zbl 0393.68022号 ·doi:10.1016/0304-3975(79)90059-8 [351] J.P.马伦?e和H.Rix?可判定。。。再见!?RAIRO Inf.,15,No.1,99?102 (1981). [352] E.Manes?部分累加语义:进度报告,?数学。决议,2279?290 (1979). ·Zbl 0442.68009号 [353] Z.Manna,《计算理论》,McGraw-Hill,纽约,XII·Zbl 0408.68022号 [354] Z.Manna和A.Pnueli?程序的模态逻辑,?莱克特。注释计算。科学。,71, 385?409 (1979). ·兹比尔0404.68011 ·doi:10.1007/3-540-09510-1_31 [355] Z.Manna和A.Shamir?递归程序的最佳方法,?Commun公司。ACM,20,11,824号?831 (1977). ·Zbl 0361.68022号 ·doi:10.1145/359863.359885 [356] Z.Manna和R.Waldinger?合成:梦想?程序,?IEEE传输。软件工程师,5,4号,294?328 (1979). ·Zbl 0416.68013号 ·doi:10.1109/TSE.1979.234198 [357] Z.Manna和R.Waldinger?结构改变程序的综合,?程序。第三届国际软件工程师大会,佐治亚州亚特兰大,1978年,纽约(1978年),第175页?187 [358] Z.Manna和R.Waldinger?计算机编程的逻辑,?IEEE传输。软件工程师,4,No.3,199?229 (1978). ·Zbl 0381.68021号 ·doi:10.1109/TSE.1978.231499 [359] Z.Manna和R.Waldinger?是?什么时候?有时比?总是??证明程序正确性的间歇断言,?Commun公司。ACM,21,2,159?172 (1978). ·兹伯利0367.68011 ·数字对象标识代码:10.1145/359340.359353 [360] Z.Manna和R.Waldinger?递归程序的自动合成,?SIGPLAN通知。,12号,8号,29号?36 (1977). ·doi:10.1145/872734.806929 [361] M.Marcotty、H.F.Ledgard和G.V.Bachmann?形式定义的样本,?计算。调查。,8号,2号,191?276 (1976). ·Zbl 0352.68095号 ·数字对象标识代码:10.1145/356669.356672 [362] D.Marini、P.A.Miglioli和M.Ornaghi?一阶逻辑作为解决和分类问题的工具,?莱克特。注释计算。科学。,34, 669?679 (1975). ·Zbl 0329.68079号 [363] P.Martin-Löf?建构数学与计算机程序设计,?斯德哥尔摩大学材料研究所医学版,第11期(1979年)。 [364] B.H.梅奥?数据类型作为函数,?莱克特。注释计算。科学。,64, 56?70 (1978). ·doi:10.1007/3-540-08921-7_56 [365] J.McCarthy?数学计算理论的基础,?计算。程序。和形式系统,Amsterdan e.a.(1963),第33页?70 [366] J.McCarthy?走向数学计算科学,?《计算理论论文》,斯坦福(1966),第27页?34 [367] J.McCarthy?对Algol子集的形式化描述,?斯坦福人工智能项目。备忘录。,第24号(1964年)。 [368] J.McCarthy?计算理论中的问题,?程序。IFIP大会。,纽约市,1965年,第一卷,华盛顿特区,斯巴达图书公司,伦敦,麦克米兰(1965),第219页?222. ·Zbl 0203.15101号 [369] J.McCarthy和J.Painter?算术表达式编译器的正确性,?斯坦福人工智能项目。备忘录,第40号(1966年)。 [370] S.McLane,《工作数学家的类别》,Springer-Verlag,纽约(1971)。 [371] L.Meertens?模式和含义,?新算法语言总监,1975年,罗克格恩科特·勒切斯奈,S.a.,第125页?138 [372] A.R.Meyer和J.Y.Halpern?编程语言的公理化定义:理论评估,?麻省理工学院实验室计算。科学。技术备忘录。,第163号(1980年)。 [373] G.de Michelis、G.A.Lanzarone和C.Simone?程序证明:结构化程序中的退出和返回跳跃,?GI-6,Jahrestag,斯图加特,1976年,柏林a.e.(1976年),第121页?132. ·Zbl 0354.68020号 [374] P.A.Miglioli和M.Ornaghi?建立正确程序的微积分,?莱克特。注释计算。科学。,53, 398?409 (1977). ·doi:10.1007/3-540-08353-7_161 [375] R.Milne和E.Strachey,《程序设计语言语义理论》,纽约(1976年)·Zbl 0357.68004号 [376] 米尔纳?沟通行为的综合,?莱克特。注释计算。科学。,64, 71?83 (1978). ·Zbl 0411.68031号 ·doi:10.1007/3-540-08921-7_57 [377] J.Misra?编程原理的形式化定义和证明方法,?IEEE传输。软件工程师,4,No.5,410?413 (1978). ·Zbl 0385.68011号 ·doi:10.1109/TSE.1978.233860 [378] J.H.Morris,Jr.和B.Wegbreit?子目标归纳,?Commun公司。ACM,20,4,209号?222 (1977). ·Zbl 0349.68007号 ·doi:10.1145/359461.359466 [379] J.H.Morris,Jr.和E.Schmidt?有应用字符串处理语言的经验,?ACM交响乐团,第七届。普林克。程序的。Lang.,拉斯维加斯,纽约(1980),第32页?46 [380] P.D.Mosses?编译器正确性的建设性方法,?莱克特。注释计算。科学。,94, 189?210 (1980). ·文件编号:10.1007/3-540-10250-7_23 [381] P.D.Mosses?使用指称语义生成编译器,?莱克特。注释计算。科学。,45, 436?441 (1976). ·兹伯利0338.68021 ·doi:10.1007/3-540-07854-1211 [382] D.R.Musser?关于证明抽象数据类型的归纳属性,?ACM交响乐团,第七届。普林克。程序。Lang.,拉斯维加斯(1980),第154页?162 [383] T.Müldner?关于并行程序的语义,?IPI PAN出版社,第348号(1979年)。 [384] R.Nakajima、M.Honda和H.Nakahara?分级程序规范和验证?多种逻辑方法,?《信息学报》,第14期,第2期,第135期?155 (1980). ·Zbl 0432.68011号 ·doi:10.1007/BF00288541 [385] N.N.Nepevoda?编程的逻辑方法,?莱克特。票据构成。科学。,122261?289 (1981). ·doi:10.1007/3-540-11157-3_30 [386] J.R.内斯特?数据对象和数据类型的模型,?莱克特。注释计算。科学。,54, 131?170 (1977). ·doi:10.1007/BFb0021422 [387] R.Nicolescu?关于Ada编程语言的定义和文档的一些简短评论,?SIGPLAN否。,15.第7号?8, 64?71 (1980). ·doi:10.1145/947680.947686 [388] D.诺曼?设置递归,?生成递归理论2。程序。交响乐团。,奥斯陆,1977年,阿姆斯特丹e.a.(1978),第303页?320. ·Zbl 0352.02034号 [389] F.努拉尼?规范、扩展和实现的模型理论方法,?莱克特。注释计算。科学。,83, 282?297 (1980). ·Zbl 0435.68021号 ·doi:10.1007/3-540-09981-6_20 [390] F.Orejas?关于条件规范的威力,?SIGPLAN否。,14号7号78号?81 (1979). ·doi:10.1145/954245.954252 [391] P.Padawitz?关于抽象数据类型的完整性和一致性的新结果,?莱克特。注释计算。科学。,88460?473 (1980). ·Zbl 0441.68015号 ·doi:10.1007/BFb0022525 [392] F.G.Pagan?ALGOL 68作为指称语义的元语言,?公司。J.,22,1号,63?66 (1978). ·doi:10.1093/comjnl/222.63文件 [393] F.G.Pagan?使用两级语法的语义规范:块、过程和参数,?计算。朗,4,3号?4, 171?185 (1979). ·Zbl 0416.68074号 ·doi:10.1016/0096-0551(79)90018-3 [394] F.G.Pagan?SNOBOL-4子集的形式语义,?计算。朗,3,1,13?30 (1978). ·Zbl 0364.68016号 ·doi:10.1016/0096-0551(78)90003-6 [395] F.G.Pagan?关于面向解释的编程语言定义,?计算。J.,19,2,151?155 (1976). ·Zbl 0335.68006号 ·doi:10.1093/comjnl/19.2.151 [396] C.成对?节目编排:节目编排,?西奥。技术信息。日志。马特。行动。恭喜。AFCET,Gif-sur-Yvette,T.11978,Suresnes(1978),第325页?337 [397] C.成对?项目建设的一些理论方面,?莱克特。注释计算。科学。,69, 617?651 (1979). ·Zbl 0408.68020号 ·doi:10.1007/BFb0014685 [398] D.公园?关于公平并行的语义,?莱克特。注释计算。科学。,86, 506?526 (1980). ·Zbl 0456.68028号 [399] J.S.Pedersen?序列Ada的形式语义定义,?莱克特。注释计算。科学。,98, 213?308 (1980). ·doi:10.1007/3-540-10283-33 [400] P.胡椒?转换语义,?莱克特。注释计算。科学。,69, 322?405 (1979). ·doi:10.1007/BFb0014674 [401] R.Peter?在Komputer-Theorie的Rekursive Funktitonen,?阿卡德。基亚多,布达佩斯(1976年)。 [402] J.C.Peterson和W.D.Murray?采用函数编程系统的并行计算机体系结构,?程序。国际协调并行程序。,1980年,纽约,纽约(1980年),第145页?156 [403] G.D.Plotkin?一个电源域结构,?SIAM J.计算。,5号,3号,452?487 (1976). ·Zbl 0355.68015号 ·数字对象标识代码:10.1137/0205035 [404] G.D.Plotkin?LCF被视为一种编程语言,?西奥。公司。科学。,5号,223号?255 (1977). ·Zbl 0369.68006号 ·doi:10.1016/0304-3975(77)90044-5 [405] A.普努利?并发程序的时间语义,?莱克特。注释计算。科学。,70, 1?20 (1979). ·Zbl 0402.68009号 ·doi:10.1007/BFb0022460 [406] M.B.Pour-El?计算机科学和递归理论,?ACM 78。程序。Ann.Conf.ACM,华盛顿特区,1978年,第1卷,纽约州纽约市(1978年),第15页?20. ·doi:10.1145/800127.804061 [407] V.R.普拉特?模态逻辑在程序设计中的应用,?麻省理工学院实验室计算。科学。技术备忘录。,第116号(1978年)。 [408] 普里查德?程序提供表达式语言,?信息处理,77阿姆斯特丹e.a.(1977),第727页?731 [409] I.C.派尔?用户定义运算符的公理,?软件实践。专家。,10号,4号,307号?318 (1980). ·Zbl 0429.68017号 ·doi:10.1002/spe.4380100406 [410] V.Rajlich?计算机语言的关系定义,?莱克特。注释计算。科学。,32, 362?376 (1975). ·Zbl 0318.68016号 ·doi:10.1007/3-540-07389-2-222 [411] H.Rasiowa?复杂算法经典逻辑的完备性,?莱克特。注释计算。科学。,88, 488?503 (1980). ·Zbl 0459.68001号 ·doi:10.1007/BFb0022527 [412] M.Raskowsky和R.Turner?编译器生成和指称语义,?数学。决议2382?386 (1979). ·Zbl 0412.68079号 [413] H.Reichel?最初限制代数理论,?莱克特。注释计算。科学。,88, 504?514 (1980). ·兹伯利0469.68026 ·doi:10.1007/BFb0022528 [414] J.C.Reynolds?使用范畴理论来设计隐式转换和泛型运算符,?莱克特。注释计算。科学。,94, 211?258 (1980). ·Zbl 0836.68064号 ·文件编号:10.1007/3-540-10250-7_24 [415] W.P.de Roever?关于回溯和最大不动点,?形式描述。程序。浓缩物。,程序。IFIP工作,《Conf.St.Andrews》,1977年,阿姆斯特丹e.a.(1978年),第621页?636 [416] B.罗素?关于continuation和stack语义之间的等价性,?《信息学报》,第8期,第2期,第113期?123 (1977). ·Zbl 0382.68009号 ·doi:10.1007/BF00289244 [417] P.Sallé?语义符号的变形和延续,?莱克特。注释计算。科学。,83, 298?310 (1980). ·doi:10.1007/3-540-09981-6_21 [418] A.萨尔维基?算法逻辑公理唯一地决定程序的语义,?莱克特。注释计算。科学88552?561 (1980). ·Zbl 0441.68023号 ·doi:10.1007/BFb0022532 [419] A.萨尔维基?关于堆栈的算法理论,?安.社会.数学。波兰。序列号。4:芬丹。信息,3,3,311?331(1980)中所述·Zbl 0441.68013号 [420] V.Yu。萨佐诺夫?顺序和并行可计算函数,?莱克特。注释计算。科学。,37, 311?318 (1975). ·Zbl 0332.02036号 [421] V.Yu。萨佐诺夫?计算的并行度,?莱克特。注释计算。科学。,46, 517?523 (1976). ·doi:10.1007/3-540-07854-1223 [422] R.W.Schufler?CLU的指称语义,?麻省理工学院实验室。科学。技术代表。,第201号(1978年)。 [423] J.S.Schwartz?并行的指称语义,?莱克特。注释计算科学。,70, 191?202 (1979). ·doi:10.1007/BFb0022470 [424] J.T.Schwartz?正确编程技术,?方德姆。程序。Cours委员会。Commun公司。欧洲,图卢兹,1977年,勒切斯奈,S.a.,第229页?269 [425] R.L.Schwartz?ALGOL 68例程的公理化处理,?莱克特。注释计算。科学。,71, 530?545 (1979). ·Zbl 0404.68002号 ·doi:10.1007/3-540-09510-1_43 [426] D.S.Scott?逻辑和编程语言,?Commun公司。ACM,20,9,634号?641号(1977年)·Zbl 0355.68019号 ·数字对象标识代码:10.1145/359810.359826 [427] D.S.Scott?数据类型作为格,?莱克特。数学笔记。,499, 579?651 (1975). ·Zbl 0322.02024号 ·doi:10.1007/BFb0079432 [428] R.Sethi和A.Tang?构建call-by-value连续语义,?莱克特。注释计算。科学。,71, 556?570 (1979). ·Zbl 0404.68006号 ·doi:10.1007/3-540-09510-1_45 [429] A.Shamir和W.W.Wadge?数据类型作为对象,?莱克特。注释计算。科学。,52, 465?479 (1977). ·Zbl 0353.68050号 ·数字对象标识代码:10.1007/3-540-08342-1_36 [430] J.C.Shepherdson?关于实变量的可计算性定义,?Z.数学。日志。格兰德。数学。,22号5号391?402 (1976). ·Zbl 0359.02029号 ·doi:10.1002/malq.19760220148 [431] M.Sintzoff?建议制定和规定程序设计决策,?莱克特。注释计算。科学。,83, 311?326号(1980年)·Zbl 0435.68019号 ·doi:10.1007/3-540-09981-6_22 [432] M.Sintzoff?通过任意后定点确保正确性,?莱克特。注释计算。科学。,64, 484?492 (1978). ·Zbl 0412.68015号 ·数字对象标识代码:10.1007/3-540-08921-796 [433] M.Sintzoff?关于程序构造的语言设计,?ALGOL公牛。,42号、75号?85 (1978). ·Zbl 0374.68005号 [434] 史密斯先生?类别的可计算性,?莱克特。注释计算。科学。,85, 609?620 (1980). ·Zbl 0471.68031号 ·doi:10.1007/3-540-10003-2-102 [435] 史密斯先生?电源域,?J.计算。系统。科学。,16号,1号,23号?36 (1978). ·兹伯利039168011 ·doi:10.1016/0022-0000(78)90048-X [436] S.Sokolowsky?完全正确的公理,?《信息学报》,第9期,第1期,第61期?71 (1977). [437] J.F.Stoy?指称语义的基础,?莱克特。注释计算。科学。,86, 43?99 (1980). ·Zbl 0468.68013号 ·doi:10.1007/3-540-10007-5_35 [438] 苏切内克先生?O逻辑obliczeniowej,?Nauk PWarz教授,电子。,50号,3号?57 (1980). [439] K.Sugawara、H.Kawaguchi和T.Nishizawa??E-正确性?一套?计算过程?,?莱克特。注释计算。科学。,75, 282?301 (1979). ·Zbl 0416.68012号 ·数字对象标识代码:10.1007/3-540-09541-1_31 [440] 铃木和杰斐逊?presburger阵列程序的验证可判定性,?J.协会计算。机器。,27号,1号,191?205 (1980). ·Zbl 0429.68025号 ·doi:10.1145/322169.322185 [441] S.A.Tärnlund?Horn子句可计算性,?BIT(服务器),17,No.2,215?226 (1977). ·Zbl 0359.02042号 ·doi:10.1007/BF01932293 [442] R.D.Tennent?程序设计语言的指称语义,?Commun公司。ACM,19,8,437?453 (1976). ·Zbl 0337.68010号 ·数字对象标识代码:10.1145/360303.360308 [443] J·W·撒切尔、E·G·瓦格纳和J·B·赖特?关于构造编译器并证明其正确性的更多建议,?莱克特。注释计算。科学。,52, 596?615 (1977). ·Zbl 0468.68007号 [444] J.Tiurin?无穷幂集代数和具有无穷长表达式的代数中的不动点,?莱克特。注释计算。科学。,56, 332?339 (1977). ·doi:10.1007/3-540-08442-8_100 [445] J.Tiurin?唯一固定点与最小固定点,?莱克特。注释计算。科学。,71, 633?645 (1979). ·doi:10.1007/3-540-09510-150 [446] 陈宗岳?递归定义正确性的形式化,?国际竞争杂志。信息科学。,9号,1号,55号?61 (1980). ·兹伯利0435.03034 ·doi:10.1007/BF00995809 [447] V.F.Turchin?Refal中的语义定义和编译器的自动生成,?莱克特。注释计算。科学。,94, 441?474 (1980). ·doi:10.1007/3-540-10250-7_33 [448] J.W.Ulrich和R.Moll?通过类比进行程序综合,?SIGPLAN否。,12号、8号、22号?28 (1977). ·数字对象标识代码:10.1145/872734.806928 [449] W.A.Uspenski和A.L.Semenov?算法的优点是什么,?莱克特。注释计算。科学。,122, 100?234 (1981). ·doi:10.1007/3-540-11157-3_27 [450] C.P.Wadsworth?斯科特D的计算性质和指称性质之间的关系-的模型-微积分,?SIAM J.计算。,5号,3号,488?521 (1976). ·Zbl 0346.02013.中 ·数字对象标识代码:10.1137/0205036 [451] E.G.Wagner、J.W.Thatcher和J.B.W.W.Wright?作为数学对象的编程语言,?莱克特。注释计算。科学。,64号、84号?111 (1978). ·Zbl 0394.68008号 ·doi:10.1007/3-540-08921-7_58 [452] M.Wand?霍尔系统的一个新的不完全性结果,?Conf.Rec.8 Ann.ACM交响乐团。理论计算。,宾夕法尼亚州好时,加利福尼亚州,1976年,纽约(1976年),第87页?91. ·Zbl 0365.68009号 [453] 旺德先生?最弱前提条件的特征,?计算系统科学杂志。,15号,2号,209号?212 (1977). ·Zbl 0369.68004号 ·doi:10.1016/S0022-0000(77)80006-8 [454] M.Wand?最终代数语义和数据类型扩展,?J.计算。系统。科学。,19号,1号,27号?44 (1979). ·Zbl 0418.68020号 ·doi:10.1016/0022-0000(79)90011-4 [455] A.王?证明Goto程序完全正确的公理基础,?16号,1号,88号?102 (1976). ·Zbl 0321.68010号 [456] H.韦德金?Konstruktive abstrakte Datenypen,?GI-10,Jahrestag,Saarbrücken,1980,柏林e.a.(1980),第213页?224 [457] B.韦格布雷特?验证程序性能,?J.协会计算。马赫数。,23,4号,691?699 (1976). ·Zbl 0333.68013号 ·数字对象标识代码:10.1145/321978.321987 [458] 威廉姆斯先生?指定静态语义的方法,?计算。朗格,6,1,1?第17页(1981年)·Zbl 0456.68100号 ·doi:10.1016/0096-0551(81)90045-X [459] J.Winkowski?描述非顺序过程的形式主义,?安.社会.数学。波兰。序列号。四: 芬丹。Informat公司。,2,1号,129?139 (1978). ·Zbl 0402.68037号 [460] J.Winkowski?并发的代数方法,?莱克特。注释计算。科学。,74, 523?532 (1979). ·Zbl 0428.68068号 ·doi:10.1007/3-540-09526-8_53 [461] J.Winkowski?部分序列代数?处理并发的工具,?莱克特。注释计算。科学。,56, 187?196 (1977). ·兹伯利0382.6010 ·doi:10.1007/3-540-08442-885 [462] J.Winkowski?一种证明程序性质的自然方法,?Pr.CO PAN,第199号(1975年)·Zbl 0315.68013号 [463] J.Winkowski?非序列计算的代数方法,?IPI PAN出版社,第312号(1978年)。 [464] T.Winograd?除了编程语言之外,?Commun公司。ACM,22,7,391号?401 (1979). ·数字对象标识代码:10.1145/359131.359133 [465] Wirsing先生和Broy先生?抽象数据类型作为有限生成模型的格,?莱克特。注释计算。科学。,88, 673?685 (1980). ·Zbl 0441.68014号 ·doi:10.1007/BFb0022542 [466] N.Wirth,《算法+数据结构=程序》,Prentice-Hall(1976)·Zbl 0375.68005号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。