罗素·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) 全文: DOI程序
卢,艺术 用决策表模拟流程图。 (英语) Zbl 0496.68015号 Commun公司。ACM公司 25, 895-905 (1982).MSC公司:60年第68季度 68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lew},Commun(公共)。ACM 25895--905(1982年;Zbl 0496.68015) 全文: DOI程序
迈克尔·奥唐纳。 对霍尔风格编程逻辑基础的批判。 (英语) 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) 全文: DOI程序 链接
雅克·科恩 程序的计算机辅助微量分析。 (英语) Zbl 0491.68036号 Commun公司。ACM公司 25, 724-733 (1982).MSC公司:68瓦99 68瓦30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.科恩},Commun。ACM 25,724--733(1982;Zbl 0491.68036) 全文: DOI程序
大卫·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) 全文: DOI程序
让·武伊勒明 统一看待数据结构。 (英语) 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) 全文: DOI程序
大卫·哈雷 关于民间定理。 (英语) 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) 全文: DOI程序
纳鸿·德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 (英语) 兹伯利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) 全文: DOI程序
莱斯利·兰波特 关于日历程序正确性的证明。 (英语) 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) 全文: DOI程序
罗伯特·科瓦尔斯基 算法=逻辑+控制。 (英语) 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},Commun(科瓦尔斯基)。ACM 22,424--436(1979;Zbl 0404.68010) 全文: DOI程序
约翰·雷诺兹(John C.Reynolds)。 关于数组的推理。 (英语) Zbl 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) 全文: DOI程序
雅克·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.6806) 全文: DOI程序
杰拉尔德·波佩克。;大卫·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) 全文: DOI程序
约翰·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) 全文: DOI程序
杰·斯皮岑(Jay M.Spitzen)。;卡尔·莱维特。;劳伦斯·罗宾逊 分层设计和证明的示例。 (英语) Zbl 0387.68010号 Commun公司。ACM公司 21, 1064-1075 (1978).MSC公司:60年第68季度 68磅05分 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Spitzen}等人,Commun。ACM 21,1064--1075(1978;Zbl 0387.68010) 全文: DOI程序
伊布拉姆沙,M。;拉贾拉曼,V。 检测决策表程序中的逻辑错误。 (英语) Zbl 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) 全文: DOI程序
科林·L·麦克马斯特。 荷兰国旗问题的算法分析。 (英语) Zbl 0387.68008号 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) 全文: DOI程序
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) 全文: DOI程序
约翰·巴克斯 编程能从冯·诺依曼风格中解放出来吗?函数风格及其程序代数。 (英语) 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) 全文: DOI程序