Shanthikumar,J.G。 关于维护不完善的软件可用性模型。 (英语) Zbl 0529.90050号 操作。Res.Lett公司。 2, 285-290 (1984).MSC公司:90B25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Shanthikumar},运营商。Res.Lett公司。2285-290(1984年;Zbl 0529.90050) 全文: 内政部
大卫·本森。;艾琳·盖萨里安 迭代和递归矩阵理论。 (英语) Zbl 0527.18004号 J.代数 86302-314(1984年).MSC公司:18立方厘米 68号01 12E12号机组 13层25 15A99号 2016年60月 18秒20 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson}和\textit{I.Guessarian},J.代数86,302-314(1984;Zbl 0527.18004) 全文: 内政部
伊雷纳游击队 泛代数在计算机科学中的应用。 (英语) Zbl 0526.68010号 科学研究。数学。挂。 19, 321-337 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian},科学研究。数学。挂。19、321--337(1984年;Zbl 0526.68010)
Krzysztof R.阿普特。 霍尔逻辑十年:一项调查。二: 非决定论。 (英语) Zbl 0523.68015号 西奥。计算。科学。 28, 83-109 (1984).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},Theor(西奥)。计算。科学。28,83--109(1984年;Zbl 0523.68015) 全文: 内政部
雷蒙德·鲍特(Raymond T.Boute)。 函数语言及其在数字系统描述中的应用。 (英语) Zbl 0522.68031号 J.答 25, 27-33 (1984).MSC公司:第68页第25页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Boute},J.A 25,27-33(1984年;兹bl 0522.68031)
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0522.68030号 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM翻译。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部
罗伯特·康斯特布尔。;丹尼尔·R·兹拉丁。 PL/CV3的类型理论。 (英语) Zbl 0522.68020号 ACM事务处理。程序。语言系统。 6, 94-117 (1984).MSC公司:60年第68季度 68号01 第68季度第65季度 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}和\textit{D.R.Zlatin},ACM Trans。程序。语言系统。6、94-117(1984年;Zbl 0522.68020) 全文: 内政部
鲍里斯·卢巴切夫斯基。 一种自动验证紧凑型并行协调程序的方法。一、。 (英语) Zbl 0522.68017号 学报信息。 21, 125-169 (1984).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{B.D.Lubachevsky},《信息学报》21,125--169(1984;Zbl 0522.68017) 全文: 内政部
科卢西,L。 递归是程序开发中的一个有效步骤。 (英语) Zbl 0522.68016号 ACM事务处理。程序。语言系统。 6, 55-67 (1984).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Colussi},ACM翻译。程序。语言系统。6,55-67(1984年;兹bl 0522.68016) 全文: 内政部
罗伯特·D·卡梅隆。;M.Robert伊藤 元编程系统的基于语法的定义。 (英语) Zbl 0522.68015号 ACM事务处理。程序。语言系统。 6,20-54(1984年).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Cameron}和\textit{M.R.Ito},ACM翻译。程序。语言系统。6、20--54(1984年;Zbl 0522.68015) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 Hoare针对具有两种数据类型的编程语言的逻辑。 (英语) Zbl 0522.68012号 西奥。计算。科学。 28, 215-221 (1984).MSC公司:68号01 60年第68季度 68第05页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。28215--221(1984;Zbl 0522.68012) 全文: 内政部 链接
罗尔夫·哈特维格 用代数方法研究带有下标变量的语言的语法和语义。 (英语) Zbl 0517.68029号 期间。数学。挂。 15, 61-71 (1984).MSC公司:60年第68季度 08A55号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Hartwig},句点。数学。挂。15、61-71(1984年;Zbl 0517.68029) 全文: 内政部
Tsin,Yung H。;Chin,Francis Y。 用于查找桥梁的通用程序方案。 (英语) Zbl 0529.68039号 信息处理。莱特。 17, 269-272 (1983).MSC公司:68兰特 60年第68季度 68瓦99 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.H.Tsin}和\textit{F.Y.Chin},Inf.过程。莱特。17269-272(1983年;兹bl 0529.68039) 全文: 内政部
J.Gonczarowski。 带有深度参数的一元递归模式的可决定属性。 (英语) Zbl 0529.68006号 代数和编程树,CAAP’83,Proc。第八次座谈会,拉奎拉/意大利,1983年,勒克特。注释计算。科学。159, 236-254 (1983).MSC公司:60年第68季度 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式
何继峰 程序状态转换器。二、。 (中文) Zbl 0528.68010号 J.华东标准。大学,自然科学。预计起飞时间。 1983年,第3期,第37-44页(1983年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.He},J.华东标准。大学,自然科学。1983年版,第3期,37-44(1983年;Zbl 0528.68010)
何继峰 程序状态转换器。一、。 (中文) Zbl 0528.68009号 J.华东标准。大学,自然科学。预计起飞时间。 1983年,第1期,25-36(1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.He},J.华东标准。大学,自然科学。1983年版,编号1,25-36(1983;Zbl 0528.68009)
佐哈尔·曼纳;阿米尔·普努利 证明优先属性:时间方式。 (英语) Zbl 0528.68008号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 491-512 (1983).MSC公司:60年第68季度 03B45号 第68季度第65季度 PDF格式BibTeX公司 XML格式
安德烈卡,H。 强化Floyd方法的力量特征。 (英语) Zbl 0528.68007号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148,1-26(1983年)。MSC公司:60年第68季度 03B60号 第68季度第65季度 03元52分 03B10号机组 2015年3月1日 PDF格式BibTeX公司 XML格式
M.K.瓦利耶夫。 论过程逻辑的公理化。 (英语) Zbl 0528.03014号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 304-313 (1983).MSC公司:03B60号 第68季度第65季度 03B25号 2015年3月1日 60年第68季度 PDF格式BibTeX公司 XML格式
D.帕克。 “公平”问题和不确定性计算网络。 (英语) Zbl 0527.68012号 计算机科学基础IV.分布式系统。第2部分:语义和逻辑,数学。美分。第159、133-161卷(1983年)。MSC公司:60年第68季度 第68页第25页 68平方米 PDF格式BibTeX公司 XML格式
德巴克尔,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 带有merge的递归的线性时间和分支时间语义。 (英语) Zbl 0527.68011号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 39-51 (1983).MSC公司:60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式
Buj,D.B。 关于内存上流程图的空性问题。 (俄语) Zbl 0527.68010号 多克。阿卡德。诺克乌克。SSR,序列号。A类 1983年,第11期,72-74(1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Buj},Dokl(多克)。阿卡德。诺克乌克。SSR,序列号。A 1983年,第11、72--74号(1983年;Zbl 0527.68010)
Alan,Cheuk-Wai Ma;大卫·T·巴纳德。 具有验证并行Modula程序的经验。 (英语) Zbl 0527.68009号 信息 21, 192-205 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cheuk-Wai Ma}和\textit{D.T.Barnard},INFOR 21,192--205(1983;Zbl 0527.68009) 全文: 内政部
安德烈·斯科伦 并发程序。 (英语) Zbl 0526.68018号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 258-269 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
塞梅诺娃,T.V。 从示例树中恢复没有循环的程序。 (英语。俄文原件) Zbl 0526.68013号 莫斯克。大学计算机。数学。赛博。 1983年,第3期,第64-68页(1983年); 维斯特翻译。莫斯科。州立大学。XV 1983年,第3期,50-53(1983年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Semenova},莫斯科。大学计算机。数学。赛博。1983年,第3期,第64-68页(1983年;Zbl 0526.68013);维斯特翻译。莫斯科。州立大学。XV 1983年,第3期,50-53(1983)
萨穆利索科宁 实时程序的体系结构设计和正确性验证的构造方法。 (英语) Zbl 0526.68008号 理工学院学报。扫描。,数学。计算。科学。序列号。第40、122页(1983年)。MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
尼西姆·弗朗西兹 产品特性及其直接验证。 (英语) Zbl 0526.68007号 学报信息。 20, 329-344 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},Acta Inf.20,329--344(1983;Zbl 0526.68007) 全文: 内政部
沃伊切赫·莱特 双向下推自动机和递归程序的时间复杂性。 (波兰语) Zbl 0525.68027号 斯普拉夫。仪表信息Uniw。瓦尔兹。128、56页(1983年)。MSC公司:65年第68季度 2005年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
彼得·帕达维茨 方程式数据类型规范的正确性、完整性和一致性。(论文)。 (英语) Zbl 0525.68007号 柏林理工大学信息学院。第256页(1983年)。MSC公司:60年第68季度 第68季度第65季度 68第05页 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) Zbl 0525.68005号 计算机程序综合方法。北约高级研究所,博纳/法国,1981年,北约ASI Ser。,序列号。C 95251-307(1983年)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式
埃瓦州奥洛斯卡 关于动态逻辑的一些扩展。 (英语) Zbl 0525.03007号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 205-212 (1983).MSC公司:03B45号 03C80号 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式
艾琳·盖萨里安 关于解释类别及其应用的调查。 (英语) Zbl 0524.68017号 SIGACT News 15,No.3,45-71(1983)。MSC公司:第68季度第65季度 60年第68季度 03C05号机组 PDF格式BibTeX公司 XML格式
Jieh乡;纳鸿·德肖维茨 重写子句和非子句定理的证明方法。 (英语) Zbl 0523.68080号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 331-346 (1983).MSC公司:68吨15 68号01 68第05页 03B35型 PDF格式BibTeX公司 XML格式
罗尔夫·赫本斯特雷特;奥托马·赫里奇;卢兹·卡斯滕·施雷耶 Zur Fehleranalysie数字分析计划。 (德语) Zbl 0523.68025号 威斯。德累斯顿科技大学。 32,编号3,5-9(1983).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hebenstriet}等人,威斯。德累斯顿科技大学。32,编号3,5--9(1983;Zbl 0523.68025)
泽农·萨多夫斯基 关于并行程序和非确定性顺序程序之间的连接。 (英语) Zbl 0523.68018号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 6, 171-183 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Sadowski},Ann.社会数学。政策。,序列号。IV、 芬达姆。Inf.6,171--183(1983;Zbl 0523.68018)
阿布拉莫夫,S.A。 分析程序和二进制关系。 (俄语) Zbl 0523.68017号 Zh公司。维奇尔。Mat.Mat.Fiz公司。 23,第2号,440-452(1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.A.Abramov},Zh。维奇尔。材质材质材质。23,第2号,440--452(1983;Zbl 0523.68017)
沃尔夫冈水獭 编程人员的最佳选择是:prinzipiellen Möglichkeiten zur Optimierung von Programmen。 (德语) Zbl 0523.68016号 威斯。德累斯顿科技大学。 32,编号3,15-21(1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \威斯康星州textit{W.Otter}。德累斯顿科技大学。32,编号3,15--21(1983;Zbl 0523.68016)
M.科波。;乔瓦内蒂,E。 多态类型系统的完整性结果。 (英语) Zbl 0523.68011号 代数和编程树,CAAP’83,Proc。意大利拉奎拉市第八科洛克,1983年,Lect。注释计算。科学。159, 179-190 (1983).MSC公司:68号01 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式
Hiroya Kawai 离散时间和空间中并行程序的一种形式化系统。 (英语) Zbl 0523.68009号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 156-165 (1983).MSC公司:68号01 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
埃塞迪·托斯,P。 有限函数理论。一: 关于与某些有限函数相关联的有限树。 (英语) 兹伯利0523.08003 《网络学报》。 6, 213-225 (1983).MSC公司:08A40号 03E20型 05二氧化碳 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ecsedi-Toth},网络学报。6213-225(1983年;Zbl 0523.08003)
弗朗西娜·伯曼 命题动态逻辑中的非标准模型。 (英语) Zbl 0523.03024号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 81-85 (1983).MSC公司:03元52分 60年第68季度 第68季度第65季度 99年3月 PDF格式BibTeX公司 XML格式
简·史密斯 Martin-Loef类型理论中命题和类型的识别:编程示例。 (英语) Zbl 0522.68034号 计算理论基础。inf.FCT-Conf.,Borgholm/瑞典。1983年,Lect。注释计算。科学。158, 445-456 (1983).MSC公司:第68季度第65季度 60年第68季度 03楼50 03D65年 03楼55 03B15号机组 68页第10页 PDF格式BibTeX公司 XML格式
马赫,B。;Makowsky,J.A。 描述允许初始语义的规范语言的特征。 (英语) Zbl 0522.68026号 代数和编程树,CAAP’83,Proc。意大利拉奎拉市第八科洛克,1983年,Lect。注释计算。科学。159, 300-316 (1983).MSC公司:68第05页 60年第68季度 03C99号 PDF格式BibTeX公司 XML格式
吉斯伯特·迪特里奇;沃尔夫冈·梅泽尼奇 操作员:他们的展开和覆盖物。 (英语) 兹伯利0522.68023 Elektron公司。通知-藜芦。凯伯内提克 19, 33-53 (1983).MSC公司:60年第68季度 18A40型 18秒20 05C70号 05C38号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dittrich}和\textit{W.Merzenich},Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19、33--53(1983;Zbl 0522.68023)
Jean-Pierre Jouannaud;伊夫·科德拉托夫 根据行为示例进行程序合成。 (英语) Zbl 0522.68021号 计算机程序综合方法。北约高级研究所,博纳/法国,1981年,北约ASI Ser。,序列号。C 95,213-250(1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
莫滕·昆 用基于Petri网的语言描述和验证网络。 (英语) Zbl 0522.68019号 Petri网的应用和理论。巴普。第三届欧洲研讨会,意大利瓦伦纳,1982年,Inf.-Fachber。66, 181-198 (1983).MSC公司:60年第68季度 68号01 68问题85 PDF格式BibTeX公司 XML格式
北卡罗来纳州汉森。;马德森,K.H。 由指称语义和高级Petri网组合而成的形式语义。 (英语) Zbl 0522.68018号 Petri网的应用和理论。巴普。第三届欧洲研讨会,意大利瓦伦纳,1982年,Inf.-Fachber。66, 132-148 (1983).MSC公司:60年第68季度 68问题85 68问题55 PDF格式BibTeX公司 XML格式
Jean-Pierre Jouannaud 合流和连贯的等式项重写系统应用于抽象数据类型的证明。 (英语) Zbl 0522.68013号 代数和编程树,CAAP’83,Proc。意大利拉奎拉市第八科洛克,1983年,Lect。注释计算。科学。第159269-283页(1983年)。MSC公司:60年第68季度 68瓦30 68第05页 68吨15 08A50号 05年3月 PDF格式BibTeX公司 XML格式
梅奥,布莱恩·H。 程序和过程的模型。 (英语) Zbl 0522.68010号 信息处理。莱特。 17, 211-214 (1983).MSC公司:68号01 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{B.H.Mayoh},Inf.过程。莱特。17、211-214(1983年;Zbl 0522.68010) 全文: 内政部
J.F.利斯特罗姆。 软件设计基础。 (英语) Zbl 0522.68005号 弗吉尼亚州雷斯顿:雷斯顿出版公司,普伦蒂斯·霍尔公司。十、 182页33.70美元(1983年)。MSC公司:68-01 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;马丁·威尔辛 广义异质代数与部分解释。 (英语) Zbl 0522.08001号 代数和编程树,CAAP’83,Proc。意大利拉奎拉市第八科洛克,1983年,Lect。注释计算。科学。159, 1-34 (1983).MSC公司:08A02号 60年第68季度 PDF格式BibTeX公司 XML格式
雷娜塔·奥赫拉诺娃 寻找主宰者。 (英语) Zbl 0521.68074号 计算理论基础。内部FCT-Conf.,Borgholm/瑞典。1983年,Lect。注释计算。科学。158328-334(1983年)。MSC公司:68兰特 60年第68季度 PDF格式BibTeX公司 XML格式
哈拉尔德·甘辛格 关于编译器描述语言的数据抽象机制的设计。 (英语) Zbl 0521.68024号 程序设计语言与系统设计。IFIP Conf.,德累斯顿/GDR 1983,59-82(1983)。MSC公司:68第05页 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
约翰·罗利希 分层并行系统的快速自动活性分析。 (英语) Zbl 0521.68021号 程序设计语言与系统设计。IFIP Conf.,德累斯顿/GDR 1983,13-27(1983)。MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
彼得·德姆宾斯基 面向设计和验证的微程序转换。 (英语) Zbl 0521.68020号 编程语言与系统设计,Proc。IFIP Conf.,德累斯顿/GDR 1983,141-156(1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
唐志成 XYZ:一个基于时间逻辑的程序开发环境。 (英语) Zbl 0521.68018号 程序设计语言与系统设计。IFIP Conf.,德累斯顿/GDR 1983,117-127(1983)。MSC公司:60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式
马奎·普切(Marque-Pucheu,G.)。 有理树集和逻辑编程的代数语义。 (英语) Zbl 0521.68017号 学报信息。 20, 249-260 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.Marque-Pucheu},《学报》第20卷,第249--260页(1983年;Zbl 0521.68017) 全文: 内政部
伯恩哈德·穆勒 繁忙(数据驱动)和懒惰(需求驱动)计算的代数语义及其在函数式语言中的应用。 (英语) Zbl 0521.68016号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 513-526 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
布鲁诺·库塞尔 无限树的基本性质。 (英语) Zbl 0521.68013号 西奥。计算。科学。 25, 95-169 (1983).MSC公司:68号01 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。25、95——169(1983年;Zbl 0521.68013) 全文: 内政部
米查尔·格拉博夫斯基 具有随机控制的程序的逻辑的一些模型理论性质。 (英语) Zbl 0519.68048号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 148-155 (1983).MSC公司:第68季度第65季度 03B15号机组 03C80号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式
乌韦·彼得曼 关于部分运算的算法逻辑。 (英语) Zbl 0519.68047号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 213-223 (1983).MSC公司:第68季度第65季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
拉梅什,S。;Mehndiratta,S.L。 空中垃圾收集器的寿命特性——一个证明。 (英语) Zbl 0519.68039号 信息处理。莱特。 17, 189-195 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ramesh}和\textit{S.L.Mehndirata},Inf.过程。莱特。17、189--195(1983年;Zbl 0519.68039) 全文: 内政部
J.W.休斯。;鲍威尔,M.S。 DTL:一种设计和实现结构化网络并发程序的语言。 (英语) Zbl 0519.68030号 软质。,实际。专家。 13, 1099-1112 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Hughes}和\textit{M.S.Powell},软件。,实际。专家。13、1099--1112(1983年;Zbl 0519.68030) 全文: 内政部
L.Ya拉普金。 用向量程序实现逻辑函数。 (英语。俄文原件) Zbl 0519.68018号 自动。远程控制 44120-128(1983年); Avtom翻译。Telemekh公司。1983年,第3期,372-380(1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ya.Lapkin},自动。遥控器44,120--128(1983;Zbl 0519.68018);Avtom翻译。Telemekh公司。1983年,第3期,372--380(1983)
罗素·J·阿伯特。 通过非正式的英语描述进行程序设计。 (英语) Zbl 0519.68017号 Commun公司。ACM公司 26, 882-894 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Abbott},Commun公司。ACM 26、882--894(1983年;Zbl 0519.68017) 全文: 内政部
R.巴布蒂。;A.马泰利。 静态语义正确性的结构化方法。 (英语) Zbl 0519.68015号 科学。计算。程序。 3279-311(1983年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}和\textit{A.Martelli},科学。计算。程序。3279-311(1983年;Zbl 0519.68015) 全文: 内政部
内梅蒂,I。 Floyd-provable程序的非标准运行。 (英语) Zbl 0519.68014号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 186-204 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
阿夫拉·科恩 两个语义定义的等价性:LCF中的一个案例研究。 (英语) Zbl 0518.68047号 SIAM J.计算。 12, 267-285 (1983).MSC公司:68问题55 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Cohn},SIAM J.计算机。12、267--285(1983年;Zbl 0518.68047) 全文: 内政部
曼弗雷德·布罗伊 通过转换构建程序:排序程序的家族树。 (英语) Zbl 0518.68018号 计算机程序综合方法。北约高级研究所,博纳/法国,1981年,北约ASI Ser。,序列号。C 95,1-49(1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
米歇尔·辛佐夫 并发程序的系统设计问题。 (英语) Zbl 0518.68017号 计算机程序综合方法。北约高级研究所,法国博纳斯,1981年,北约ASI系列。,序列号。C 95,51-78(1983)。MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
罗兰·巴克豪斯 程序设计中的选择分析。 (英语) 兹伯利0518.68016 计算机程序综合方法。北约高级研究所,博纳/法国,1981年,北约ASI Ser。,序列号。C 95,79-124(1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
库塞尔,B。;拉文迪尔,F。 一类基于树重写系统的程序方案。 (英语) Zbl 0518.68015号 代数和编程树,CAAP’83,Proc。意大利拉奎拉市第八科洛克,1983年,Lect。注释计算。科学。159, 191-204 (1983).MSC公司:60年第68季度 第68季度第65季度 68号01 PDF格式BibTeX公司 XML格式
Darondeau博士。;科特,L。 关于公平平行的观察语义。 (英语) Zbl 0518.68014号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 147-159 (1983).MSC公司:60年第68季度 第68页第25页 99年第68季度 PDF格式BibTeX公司 XML格式
特伦斯·W·普拉特。 使用H图语义的软件的形式化规范。 (英语) Zbl 0518.68013号 图语法及其在计算机科学中的应用,第二期国际研讨会,Haus Ohrbeck/Ger。1982年,Lect。注释计算。科学。153, 314-332 (1983).MSC公司:60年第68季度 68号01 65年第68季度 PDF格式BibTeX公司 XML格式
劳埃德·艾利森 可执行的Prolog语义。 (英语) Zbl 0518.68012号 阿尔戈公牛。 50, 10-18 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison},阿尔戈布尔。50,10-18(1983年;兹bl 0518.68012)
迪米特洛夫,I。 一种系统规范语言。 (英语) Zbl 0518.68006号 系统的充分建模,程序。内部配置,Bad Honnef/Ger。1982, 66-77 (1983).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式
Tajtslin,医学硕士。 程序逻辑的层次结构。 (俄语) Zbl 0518.03002号 同胞。材料Zh。 24,第3号(139),184-192(1983).MSC公司:03B15号机组 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Tajtslin},Sib。材料Zh。24,第3号(139),184--192(1983;Zbl 0518.03002) 全文: 欧洲DML
马蒂·奥斯福特 通信过程的正确性证明:文献中的三个示例。 (英语) 兹伯利0517.68054 ACM事务处理。程序。语言系统。 5, 620-640 (1983).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ossefort},ACM翻译。程序。语言系统。5620--640(1983年;Zbl 0517.68054) 全文: 内政部
约翰·K·斯莱普。;彼得·J·L·沃利斯。 使用中间树表示将Fortran转换为Ada。 (英语) Zbl 0517.68038号 计算。J。 26, 344-353 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Slape}和\textit{P.J.L.Wallis},计算。J.26,344--353(1983;Zbl 0517.68038) 全文: 内政部
C.B.琼斯。 针对干扰程序的开发方法的初步步骤。 (英语) Zbl 0517.68032号 ACM事务处理。程序。语言系统。 5, 596-619 (1983).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},ACM翻译。程序。语言系统。5596-619(1983年;Zbl 0517.68032) 全文: 内政部
伊莱恩·韦尤克。 通过程序推理评估测试数据的充分性。 (英语) Zbl 0517.68031号 ACM事务处理。程序。语言系统。 5, 641-655 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Weyuker},ACM翻译。程序。语言系统。5641——655(1983年;Zbl 0517.68031) 全文: 内政部
丹尼尔·曼奇 程序结构逻辑系统的应用。 (法语) Zbl 0517.68030号 RAIRO,科技。信息。 2, 167-177 (1983).MSC公司:60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Mange},RAIRO,科技。Inf.2,167--177(1983;Zbl 0517.68030)
迈克尔·梅因(Michael G.Main)。;大卫·本森。 非确定性程序的功能行为。 (英语) Zbl 0517.68028号 计算理论基础。《烟草控制框架公约》缔约方大会,博格霍姆/瑞典。1983年,Lect。注释计算。科学。158, 290-301 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
De Nicola,罗科 通信顺序过程理论的一整套公理。 (英语) Zbl 0517.68027号 计算理论基础。内部FCT-Conf.,Borgholm/瑞典。1983年,Lect。注释计算。科学。158, 115-126 (1983).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
德巴克,J.W。;J.A.伯格斯特拉。;Klop,J.W。;梅耶,J.-J.Ch。 带合并的递归的线性时间和分支时间语义。 (英语) Zbl 0517.68026号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 39-51 (1983).MSC公司:60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式
劳埃德·艾利森 编程指称语义。 (英语) Zbl 0517.68023号 计算。J。 26, 164-174 (1983).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison},计算。J.26,164--174(1983;Zbl 0517.68023) 全文: 内政部
沃尔特·多什;伯恩哈德·穆勒 具有无限对象的巴克斯函数编程语言的代数语义。 (英语) 兹比尔0517.68022 GI-13。贾勒斯塔格。,程序。,汉堡1983年,Inf.-Fachber。73, 67-85 (1983).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 Funktionales Programmieren,Programmieen mit Funktionolen。 (德语) Zbl 0517.68021号 GI-13。贾勒斯塔格。,程序。,汉堡1983年,Inf.-Fachber。73, 24-40 (1983).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
帕特里斯·恩贾尔伯特 代数语义和程序逻辑:程序树的算法逻辑。 (英语) Zbl 0516.68036号 程序逻辑及其应用,Proc。交响乐团。,波兹南1980年,Lect。注释计算。科学。148, 132-147 (1983).MSC公司:第68季度第65季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
德巴克尔,J.W。;朱克,J.I。 ADA rendez-vous的流程和公平语义。 (英语) Zbl 0516.68025号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154,52-66(1983年)。MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
都铎州斯特凡 获取结构化程序的有效方法。 (罗马尼亚语) 兹伯利0516.68018 螺柱Cercet。材料。 35, 205-219 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.斯特凡},Stud.Cercet。材料35、205-219(1983;Zbl 0516.68018)
马赫,B。;D.H.斯利曼。 自动程序改进:变量使用转换。 (英语) Zbl 0516.68017号 ACM事务处理。程序。语言系统。 5, 236-264 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Maher}和\textit{D.H.Sleeman},ACM Trans。程序。语言系统。5236--264(1983年;Zbl 0516.68017) 全文: 内政部
曼弗雷德·克劳斯 具有全局只读参数的程序和具有值参数的过程的推理规则。 (英语) Zbl 0516.68016号 伯尔。,Inst.Inf.Prakt公司。数学。,Christian-Albrechts-Univ.,基尔8307,第14页(1983年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
A.迈克罗夫特。;F.尼尔森。 使用权力域的强大抽象解释(扩展抽象)。 (英语) Zbl 0516.68012号 《自动化、语言和编程》,第10届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 536-544 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
雷姆·M。 部分有序计算,应用于超大规模集成电路设计。 (英语) Zbl 0516.68011号 计算机科学基础IV.分布式系统。第2部分:语义和逻辑,数学。美分。第159、1-44卷(1983年)。MSC公司:60年第68季度 68问题55 94C99号 第68页第25页 PDF格式BibTeX公司 XML格式
斯米尔诺娃,T.N。;Aleksandrova,A.A。;北卡罗来纳州Stsiborskaya。 在顺序计算机上实现一些多重操作。 (英语) Zbl 0515.68071号 J.索夫。数学。 23, 2018-2032 (1983).MSC公司:68单位99 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.N.Smirnova}等人,J.Sov。数学。2018年23月--2032年(1983年;Zbl 0515.68071) 全文: 内政部
努拉尼,C.法尔希德 抽象实现及其正确性证明。 (英语) Zbl 0515.68014号 J.助理计算。机器。 30, 343-359 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Nourani},计算机助理J。机器。30343--359(1983年;Zbl 0515.68014) 全文: 内政部
霍里兹基维茨(Igor T.Hawryszkiewycz)。 一种语义设计方法。 (英语) Zbl 0515.68013号 IEEE传输。软件工程。 373-384年9月(1983年).MSC公司:60年第68季度 68第05页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{I.T.Hawryszkiewycz},IEEE Trans。柔和。工程9,373--384(1983;Zbl 0515.68013) 全文: 内政部
威廉姆斯,M.H。 流程图示意图和命名问题。 (英语) Zbl 0515.68011号 计算。J。 26, 270-276 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Williams},计算。J.26,270--276(1983;Zbl 0515.68011) 全文: 内政部
罗伯特·康斯特布尔。 作为证据的程序:概要。 (英语) Zbl 0514.68043号 信息处理。莱特。 16, 105-112 (1983).MSC公司:第68季度第65季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable},Inf.过程。莱特。16105-112(1983年;兹bl 0514.68043) 全文: 内政部