埃里克·C·R·海纳。 预测性编程。一、。 (英语) Zbl 0593.68010号 Commun公司。ACM公司 27, 134-143 (1984).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},Commun(科姆)。ACM 27,134--143(1984;Zbl 0593.68010) 全文: 内政部
罗素·J·阿伯特。 通过非正式的英语描述进行程序设计。 (英语) 兹伯利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) 全文: 内政部
卢,艺术 用决策表模拟流程图。 (英语) Zbl 0496.68015号 Commun公司。ACM公司 1895-905年(1982年).MSC公司:60年第68季度 68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lew},Commun(公共)。ACM 25,895--905(1982;Zbl 0496.68015) 全文: 内政部
迈克尔·奥唐纳。 对霍尔风格编程逻辑基础的批判。 (英语) Zbl 0495.68018号 Commun公司。ACM公司 25, 927-935 (1982).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.J.O'Donnell},Commun(科姆·J·奥唐纳)。ACM 25,927--935(1982;Zbl 0495.68018) 全文: 内政部 链接
Willie Y-P.Lim。 HISDL—一种结构描述语言。 (英语) Zbl 0493.68031号 Commun公司。ACM公司 25, 823-830 (1982).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{W.Y P.Lim},社区。ACM 25,823--830(1982;Zbl 0493.68031) 全文: 内政部
雅克·科恩 计算机辅助的程序微观分析。 (英语) Zbl 0491.68036号 Commun公司。ACM公司 25224-733(1982年).MSC公司:68瓦99 68瓦30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.科恩},Commun。ACM 25,724--733(1982;Zbl 0491.68036) 全文: 内政部
罗伯特·西蒙斯。;丹尼尔·切斯特 将句子和语义网络与过程逻辑联系起来。 (英语) Zbl 0486.68105号 Commun公司。ACM公司 25, 527-547 (1982).MSC公司:68吨15 68T99型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Simmons}和\textit{D.Chester},Commun。ACM 25,527--547(1982;Zbl 0486.68105) 全文: 内政部
大卫·A·帕特森。 高级语言微程序设计和验证实验。 (英语) Zbl 0477.68014号 Commun公司。ACM公司 24, 699-727 (1981).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Patterson},Commun(公共)。ACM 24,699--727(1981;Zbl 0477.68014) 全文: 内政部
让·武伊勒明 统一看待数据结构。 (英语) Zbl 0434.68047号 Commun公司。ACM公司 23, 229-239 (1980).MSC公司:68兰特 68卢比99 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vuillemin},Commun公司。ACM 23、229--239(1980;Zbl 0434.68047) 全文: 内政部
大卫·哈雷尔 关于民间定理。 (英语) Zbl 0432.68009号 Commun公司。ACM公司 23, 379-389 (1980).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel},Commun(科蒙)。ACM 23,379--389(1980;Zbl 0432.68009) 全文: 内政部
纳鸿·德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 (英语) Zbl 0431.68016号 Commun公司。ACM公司 22, 465-476 (1979).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Z.Manna},Commun。ACM 22,465--476(1979;Zbl 0431.68016) 全文: 内政部
莱斯利·兰波特 关于日历程序正确性的证明。 (英语) Zbl 0412.68014号 Commun公司。ACM公司 22, 554-556 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},Commun(公共)。ACM 22,554--556(1979;Zbl 0412.68014) 全文: 内政部
罗伯特·科瓦尔斯基 算法=逻辑+控制。 (英语) Zbl 0404.68010号 Commun公司。ACM公司 22, 424-436 (1979).MSC公司:68号01 68N25号 68问题65 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski},公社。ACM 22,424--436(1979;Zbl 0404.68010) 全文: 内政部
朱顶红Deliyanni;罗伯特·A·科瓦尔斯基。 逻辑和语义网络。 (英语) Zbl 0394.68063号 Commun公司。ACM公司 22, 184-192 (1979).MSC公司:68吨15 68问题65 68问题55 68T50型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Deliyanni}和\textit{R.A.Kowalski},Commun。ACM 22,184--192(1979;Zbl 0394.68063) 全文: 内政部
约翰·雷诺兹(John C.Reynolds)。 关于数组的推理。 (英语) 兹伯利0394.68009 Commun公司。ACM公司 22, 290-299 (1979).MSC公司:60年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Reynolds},Commun(科姆·C·雷诺兹)。ACM 22、290--299(1979年;Zbl 0394.68009) 全文: 内政部
雅克·J·阿萨克。 语法源到源转换和程序操作。 (英语) Zbl 0388.68006号 Commun公司。ACM公司 22, 43-54 (1979).MSC公司:68号01 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Arsac},Commun(通讯员)。ACM 22、43-54(1979年;Zbl 0388.68006) 全文: 内政部
Gerald J.波佩克。;大卫·A·法伯。 操作系统中数据安全验证的模型。 (英语) Zbl 0399.68036号 Commun公司。ACM公司 21, 737-749 (1978).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Popek}和\textit{D.A.Farber},Commun。ACM 21,737--749(1978;Zbl 0399.68036) 全文: 内政部
约翰·V·古塔格。;埃利斯·霍洛维茨;大卫·穆瑟。 抽象数据类型和软件验证。 (英语) Zbl 0387.68012号 Commun公司。ACM公司 21, 1048-1064 (1978).MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Guttag}等人,Commun。ACM 21,1048--1064(1978;Zbl 0387.68012) 全文: 内政部
杰·斯皮岑(Jay M.Spitzen)。;卡尔·莱维特。;劳伦斯·罗宾逊 分层设计和证明的示例。 (英语) Zbl 0387.68010号 Commun公司。ACM公司 211064-1075(1978年).MSC公司:60年第68季度 68第05页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Spitzen}等人,Commun。ACM 21,1064--1075(1978;Zbl 0387.68010) 全文: 内政部
M.伊布拉姆沙。;拉贾拉曼,V。 检测决策表程序中的逻辑错误。 (英语) 兹比尔0387.68009 Commun公司。ACM公司 21, 1016-1025 (1978).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ibramsha}和\textit{V.Rajaraman},Commun。ACM 21,1016--1025(1978;Zbl 0387.68009) 全文: 内政部
科林·L·麦克马斯特。 荷兰国旗问题的算法分析。 (英语) 兹比尔0387.6800 Commun公司。ACM公司 21, 842-846 (1978).MSC公司:60年第68季度 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{C.L.麦克马斯特},Commun。ACM 21,842--846(1978;Zbl 0387.68008) 全文: 内政部
Edsger W.Dijkstra。;莱斯利·兰波特;A.J.马丁。;C.S.肖尔滕。;斯特芬斯,E.F.M。 现场垃圾收集:合作练习。 (英语) Zbl 0386.68024号 Commun公司。ACM公司 21, 966-975 (1978).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra}等人,Commun。ACM 21,966--975(1978;Zbl 0386.68024) 全文: 内政部
约翰·巴克斯 编程能从冯·诺依曼风格中解放出来吗?函数风格及其程序代数。 (英语) Zbl 0383.68013号 Commun公司。ACM公司 21, 613-641 (1978).MSC公司:68号01 60年第68季度 68问题65 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.巴克斯},Commun。ACM 21、613--641(1978;Zbl 0383.68013) 全文: 内政部
Denning,P.J。 程序行为的工作集模型。 (英语) Zbl 0159.45407号 Commun公司。ACM公司 11, 323-333 (1968).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Denning},Commun。ACM 11,323--333(1968;Zbl 0159.45407) 全文: 内政部
彼得·史密斯。 没有列表处理、子程序或递归的符号导数。 (英语) Zbl 0141.14503号 Commun公司。ACM公司 8, 494-496 (1965). 审核人:乔治·拜耳 MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Smith},Commun。ACM 8,494--496(1965;Zbl 0141.14503) 全文: 内政部