阿尔卑斯山,博文;弗雷德·施耐德。 在没有时态逻辑的情况下验证时态属性。 (英语) Zbl 0676.68003号 ACM事务处理。程序。语言系统。 11,第1号,147-167(1989). 审核人:S.戈特瓦尔德 MSC公司:68号01 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},ACM Trans。程序。语言系统。11,第1号,147--167(1989;Zbl 0676.68003) 全文: 内政部 链接
背面,R.J.R。;Kurki-Soonio,R。 与行动系统的分布式合作。 (英语) Zbl 0663.68028号 ACM事务处理。程序。语言系统。 10,第4期,513-554(1988).MSC公司:68N25号 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{R.Kurki-Soonio},ACM Trans。程序。语言系统。10,第4号,513--554(1988;Zbl 0663.68028) 全文: 内政部 链接
井上,Katsuro;弘久世奇(Hiroyuki Seki);Hikaru八木 分析功能程序以检测运行时垃圾单元。 (英语) Zbl 0663.68021号 ACM事务处理。程序。语言系统。 10,第4期,555-578(1988).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Inoue}等人,ACM Trans。程序。语言系统。10,第4号,555--578(1988;Zbl 0663.68021) 全文: 内政部 链接
代表,托马斯;阿兰·德默斯 属性文法的子线性空间求值算法。 (英语) Zbl 0633.68005号 ACM事务处理。程序。语言系统。 9, 408-440 (1987).MSC公司:第68季度第60季度 68N20型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Reps}和\textit{A.Demers},ACM Trans。程序。语言系统。9408--440(1987年;Zbl 0633.68005) 全文: 内政部 链接 链接
兰迪·艾伦;肯·肯尼迪 FORTRAN程序到向量形式的自动转换。 (英语) Zbl 0631.68019号 ACM事务处理。程序。语言系统。 9, 491-542 (1987).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Allen}和\textit{K.Kennedy},ACM Trans。程序。语言系统。9、491--542(1987年;Zbl 0631.68019) 全文: 内政部 链接
珍妮斯·库尼。;劳伦斯·斯奈德 从数据驱动到同步执行的循环程序转换。 (英语) Zbl 0631.68017号 ACM事务处理。程序。语言系统。 9, 599-617 (1987).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Cuny}和\textit{L.Snyder},ACM Trans。程序。语言系统。9、599--617(1987年;Zbl 0631.68017) 全文: 内政部 链接
卢博米·比克;克雷格·李 逻辑编程子集的数据驱动模型。 (英语) Zbl 0631.68014号 ACM事务处理。程序。语言系统。 9, 618-645 (1987).MSC公司:第68季度第60季度 68号01 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{L.Bic}和\textit{C.Lee},ACM翻译。程序。语言系统。9、618--645(1987年;Zbl 0631.68014) 全文: 内政部 链接
珍妮特·温格。 编写Larch接口语言规范。 (英语) Zbl 0627.68014号 ACM事务处理。程序。语言系统。 9, 1-24 (1987).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Wing},ACM事务。程序。语言系统。9、1--24(1987年;Zbl 0627.68014) 全文: 内政部 链接
曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 关于编程语言的代数定义。 (英语) Zbl 0627.68009号 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司:68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《美国医学杂志》。程序。语言系统。9、54-99(1987年;Zbl 0627.68009) 全文: 内政部 链接
德巴西什·班纳吉 递归函数程序的语法分析方法。 (英语) Zbl 0623.68013号 ACM事务处理。程序。语言系统。 9, 441-462 (1987).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Banerjee},ACM翻译。程序。语言系统。9、441--462(1987年;Zbl 0623.68013) 全文: 内政部 链接
珍妮·费兰特;卡尔·奥滕斯坦(Karl J.Ottenstein)。;沃伦,乔·D。 程序依赖图及其在优化中的应用。 (英语) 兹比尔062368012 ACM事务处理。程序。语言系统。 9, 319-349 (1987).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ferrante}等人,ACM Trans。程序。语言系统。9、319--349(1987年;Zbl 0623.68012) 全文: 内政部 链接
沙乌拉·耶米尼;丹尼尔·贝里(Daniel M.Berry)。 在面向表达式的语言中对异常处理的一种公理化处理。 (英语) Zbl 0623.68010号 ACM事务处理。程序。语言系统。 9, 390-407 (1987).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Yemini}和\textit{D.M.Berry},ACM翻译。程序。语言系统。9、390--407(1987年;Zbl 0623.68010) 全文: 内政部 链接
Krzysztof R.阿普特。 更正了分布式终止算法的证明。 (英语) Zbl 0599.68017号 ACM事务处理。程序。语言系统。 8, 388-405 (1986).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},ACM事务。程序。语言系统。8388--405(1986年;Zbl 0599.68017) 全文: 内政部 链接
曼尼·钱迪;贾亚德夫·米斯拉 分布式程序逐步细化的一个例子:静止检测。 (英语) Zbl 0598.68031号 ACM事务处理。程序。语言系统。 8, 326-343 (1986).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chandy}和\textit{J.Misra},ACM Trans。程序。语言系统。8326-343(1986年;兹bl 0598.68031) 全文: 内政部 链接
马修·轩尼诗 证明收缩系统正确。 (英语) Zbl 0598.68030号 ACM事务处理。程序。语言系统。 8, 344-387 (1986).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy},ACM翻译。程序。语言系统。8、344--387(1986年;Zbl 0598.68030) 全文: 内政部 链接
瓦伦汀·图尔钦。 超级编译器的概念。 (英语) Zbl 0598.68016号 ACM事务处理。程序。语言系统。 8, 292-325 (1986).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Turchin},ACM翻译。程序。语言系统。8、292--325(1986年;Zbl 0598.68016) 全文: 内政部 链接
基沙夫·平加里;阿文德 高效的需求驱动评估。二、。 (英语) Zbl 0596.68024号 ACM事务处理。程序。语言系统。 8, 109-139 (1986).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Pingali}和\textit{Arvind},ACM翻译。程序。语言系统。8109--139(1986年;Zbl 0596.68024) 全文: 内政部 链接
基沙夫·平加里;阿文德 在有效的需求驱动评估中澄清“按需提供投入”。一、。 (英语) Zbl 0596.68023号 ACM事务处理。程序。语言系统。 8, 140-141 (1986).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Pingali}和\textit{Arvind},ACM翻译。程序。语言系统。8140--141(1986年;Zbl 0596.68023) 全文: 内政部 链接
Laurian M.Chirica。;大卫·F·马丁。 编译器实现正确性证明。 (英语) Zbl 0591.68014号 ACM事务处理。程序。语言系统。 185-214年8月(1986年).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Chirica}和\textit{D.F.Martin},ACM翻译。程序。语言系统。8185-214(1986;Zbl 0591.68014) 全文: 内政部 链接
弗莱明·尼尔森 指代设置中的程序转换。 (英语) 兹伯利0566.68013 ACM事务处理。程序。语言系统。 7, 359-379 (1985).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森},ACM Trans。程序。语言系统。7359-379(1985年;Zbl 0566.68013) 全文: 内政部 链接 链接
纳胡姆德肖维茨 程序抽象和实例化。 (英语) Zbl 0566.68012号 ACM事务处理。程序。语言系统。 7, 446-477 (1985).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz},ACM事务。程序。语言系统。7446-477(1985年;Zbl 0566.68012) 全文: 内政部 链接
戴维·施密特(David A.Schmidt)。 检测指称规范中的全局变量。 (英语) Zbl 0562.68008号 ACM事务处理。程序。语言系统。 7, 299-310 (1985).MSC公司:68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Schmidt},ACM翻译。程序。语言系统。7、299--310(1985年;Zbl 0562.68008) 全文: 内政部 链接
Jean-François Bergeretti;伯纳德·A·卡雷。 while-programs的信息流和数据流分析。 (英语) Zbl 0559.68014号 ACM事务处理。程序。语言系统。 7, 37-61 (1985).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Bergeretti}和\textit{B.A.Carré},美国医学会翻译。程序。语言系统。7、37-61(1985;Zbl 0559.68014) 全文: 内政部 链接 链接
约瑟夫·贝茨。;罗伯特·康斯特布尔。 作为程序的证据。 (英语) Zbl 0555.68003号 ACM事务处理。程序。语言系统。 7, 113-136 (1985). 审核人:R.纳伯特 MSC公司:68号01 68吨15 68问题65 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Bates}和\textit{R.L.Constable},ACM Trans。程序。语言系统。7113--136(1985年;Zbl 0555.68003) 全文: 内政部 链接
迈克尔·乔治夫 类型化lambda表达式的转换和约简策略。 (英语) Zbl 0555.68007号 ACM事务处理。程序。语言系统。 6, 603-631 (1984). 审核人:J.兹拉图斯卡 MSC公司:第68季度第60季度 03B40型 68问题65 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Georgeff},ACM翻译。程序。语言系统。6、603--631(1984年;Zbl 0555.68007) 全文: 内政部
北卡罗来纳州Soundararajan。 通信顺序过程的公理语义。 (英语) Zbl 0542.68013号 ACM事务处理。程序。语言系统。 6, 647-662 (1984).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Soundarrajan},ACM翻译。程序。语言系统。6647-662(1984年;Zbl 0542.68013) 全文: 内政部
R.S.伯德。 转型规划中的促进和积累策略。 (英语) Zbl 0542.68006号 ACM事务处理。程序。语言系统。 6, 487-504 (1984).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird},ACM翻译。程序。语言系统。6487--504(1984年;Zbl 0542.68006) 全文: 内政部
M.V.S.拉马纳。;马文·所罗门 线性时间内的跳跃最小化。 (英语) 兹比尔0542.68005 ACM事务处理。程序。语言系统。 6, 527-545 (1984).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.V.S.Ramanath}和\textit{M.Solomon},ACM Trans。程序。语言系统。6527-545(1984年;Zbl 0542.68005) 全文: 内政部
莫德凯·本·阿里 现场垃圾收集算法。 (英语) Zbl 0536.68030号 ACM事务处理。程序。语言系统。 6, 333-344 (1984).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari},ACM翻译。程序。语言系统。6333--344(1984年;Zbl 0536.68030) 全文: 内政部
理查德·施利钦(Richard D.Schlichting)。;弗雷德·施耐德。 使用消息传递进行分布式编程:证明规则和规程。 (英语) Zbl 0536.68023号 ACM事务处理。程序。语言系统。 6, 402-431 (1984).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Schlichting}和\textit{F.B.Schneider},ACM Trans。程序。语言系统。6402-431(1984年;Zbl 0536.68023) 全文: 内政部
Krzysztof R.阿普特。;尼西姆·弗朗西兹 CSP分布式终端约定建模。 (英语) Zbl 0536.68018号 ACM事务处理。程序。语言系统。 6, 370-379 (1984).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{N.Francez},ACM Trans。程序。语言系统。6370-379(1984年;Zbl 0536.68018) 全文: 内政部 链接
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0522.68030号 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM Trans。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部
罗伯特·康斯特布尔。;丹尼尔·R·兹拉丁。 PL/CV3的类型理论。 (英语) Zbl 0522.68020号 ACM事务处理。程序。语言系统。 6, 94-117 (1984).MSC公司:第68季度第60季度 68号01 68问题65 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}和\textit{D.R.Zlatin},ACM Trans。程序。语言系统。6,94-117(1984年;兹bl 0522.68020) 全文: 内政部
科卢西,L。 递归是程序开发中的一个有效步骤。 (英语) Zbl 0522.68016号 ACM事务处理。程序。语言系统。 6, 55-67 (1984).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Colussi},ACM翻译。程序。语言系统。6、55-67(1984年;Zbl 0522.68016) 全文: 内政部
罗伯特·D·卡梅隆。;M.Robert伊藤 元编程系统的基于语法的定义。 (英语) Zbl 0522.68015号 ACM事务处理。程序。语言系统。 6, 20-54 (1984).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Cameron}和\textit{M.R.Ito},ACM翻译。程序。语言系统。6、20--54(1984年;Zbl 0522.68015) 全文: 内政部
马蒂·奥斯福特 通信过程的正确性证明:文献中的三个示例。 (英语) Zbl 0517.68054号 ACM事务处理。程序。语言系统。 5, 620-640 (1983).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ossefort},ACM翻译。程序。语言系统。5620--640(1983年;Zbl 0517.68054) 全文: 内政部
C.B.琼斯。 针对干扰程序的开发方法的初步步骤。 (英语) Zbl 0517.68032号 ACM事务处理。程序。语言系统。 5, 596-619 (1983).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},ACM翻译。程序。语言系统。5596-619(1983年;Zbl 0517.68032) 全文: 内政部
伊莱恩·韦尤克。 通过程序推理评估测试数据的充分性。 (英语) Zbl 0517.68031号 ACM事务处理。程序。语言系统。 5, 641-655 (1983).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Weyuker},ACM翻译。程序。语言系统。5641——655(1983年;Zbl 0517.68031) 全文: 内政部
马赫,B。;D.H.斯利曼。 自动程序改进:变量使用转换。 (英语) Zbl 0516.68017号 ACM事务处理。程序。语言系统。 5, 236-264 (1983).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Maher}和\textit{D.H.Sleeman},ACM Trans。程序。语言系统。5236--264(1983年;Zbl 0516.68017) 全文: 内政部
巴巴拉·利斯科夫;罗伯特·谢夫勒 守护者和动作:对健壮的分布式程序的语言支持。 (英语) Zbl 0512.68027号 ACM事务处理。程序。语言系统。 5, 381-404 (1983).MSC公司:68N25号 第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Liskov}和\textit{R.Scheifler},ACM翻译。程序。语言系统。5、381--404(1983年;Zbl 0512.68027) 全文: 内政部
塞尔吉·哈特;米查·谢里尔;阿米尔·普努利 概率并发程序的终止。 (英语) Zbl 0511.68009号 ACM事务处理。程序。语言系统。 5, 356-380 (1983).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hart}等人,ACM Trans。程序。语言系统。5356-380(1983年;Zbl 0511.68009) 全文: 内政部
斯特凡·弗洛伊登伯格。;雅各布·T·施瓦茨。;米查·谢里尔 具有SETL优化器的经验。 (英语) Zbl 0498.68007号 ACM事务处理。程序。语言系统。 5, 26-45 (1983).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Freudenberger}等人,ACM翻译。程序。语言系统。5、26-45(1983年;Zbl 0498.68007) 全文: 内政部
理查德·基伯茨。;亚伯拉罕·西尔伯沙茨 访问权限表达式。 (英语) Zbl 0498.68006号 ACM事务处理。程序。语言系统。 5, 78-96 (1983).MSC公司:68号01 68第05页 68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kieburtz}和\textit{A.Silberschatz},ACM翻译。程序。语言系统。5、78——96(1983年;Zbl 0498.68006) 全文: 内政部
J.W.撒切尔。;瓦格纳,E.G。;J.B.赖特。 数据类型规范:参数化和规范技术的威力。 (英语) Zbl 0495.68020号 ACM事务处理。程序。语言系统。 4, 711-732 (1982).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Thatcher}等人,ACM Trans。程序。语言系统。4711--732(1982;Zbl 0495.68020) 全文: 内政部
威廉·马尔格伦。 图形数据类型的正式规范。 (英语) Zbl 0494.68016号 ACM事务处理。程序。语言系统。 4, 687-710 (1982).MSC公司:第68季度第60季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Mallgren},ACM翻译。程序。语言系统。4687-710(1982年;Zbl 0494.68016) 全文: 内政部
贝克,T.P。 Ada中用于解决过载的单程算法。 (英语) Zbl 0492.68030号 ACM事务处理。程序。语言系统。 4, 601-614 (1982).MSC公司:68N25号 68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.P.Baker},ACM翻译。程序。语言系统。4601--614(1982;Zbl 0492.68030) 全文: 内政部
约翰·威廉姆斯。 关于函数程序代数的发展。 (英语) Zbl 0492.68018号 ACM事务处理。程序。语言系统。 4, 733-757 (1982).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Williams},ACM翻译。程序。语言系统。4733-757(1982年;Zbl 0492.68018) 全文: 内政部
罗伯特·B·K·杜瓦。;米查·谢里尔;埃利亚·魏泽尔鲍姆 垃圾收集算法的转换派生。 (英语) Zbl 0492.68015号 ACM事务处理。程序。语言系统。 4, 650-667 (1982).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.K.Dewar}等人,ACM Trans。程序。语言系统。4650-667(1982年;Zbl 0492.68015) 全文: 内政部
H.J.布姆。 循环的先决条件较弱。 (英语) Zbl 0492.68014号 ACM事务处理。程序。语言系统。 4, 668-677 (1982).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Boom},ACM变速箱。程序。语言系统。4668--677(1982年;Zbl 0492.68014) 全文: 内政部
约翰·轩尼诗 优化代码的符号调试。 (英语) Zbl 0484.68011号 ACM事务处理。程序。语言系统。 4, 323-344 (1982).MSC公司:第68季度第60季度 68N25号 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{J.轩尼诗},ACM Trans。程序。语言系统。4323--344(1982年;Zbl 0484.68011) 全文: 内政部
罗伯特·佩奇;沙伊·柯尼格 可计算表达式的有限差分。 (英语) Zbl 0484.68009号 ACM事务处理。程序。语言系统。 4, 402-454 (1982).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Paige}和\textit{S.Koenig},ACM Trans。程序。语言系统。4、402--454(1982年;Zbl 0484.68009) 全文: 内政部
苏珊·奥维基;莱斯利·兰波特 证明并发程序的活跃性属性。 (英语) Zbl 0483.68013号 ACM事务处理。程序。语言系统。 4, 455-495 (1982).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Owicki}和\textit{L.Lamport},ACM翻译。程序。语言系统。4455-495(1982年;Zbl 0483.68013) 全文: 内政部
克里斯托夫·霍夫曼。;迈克尔·奥唐纳。 用方程式编程。 (英语) Zbl 0481.68008号 ACM事务处理。程序。语言系统。 4, 83-112 (1982).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Hoffmann}和\textit{M.J.O'Donnell},ACM Trans。程序。语言系统。483--112(1982;Zbl 0481.68008) 全文: 内政部
马丁·费瑟(Martin S.Feather)。 用于协助程序转换的系统。 (英语) 兹伯利0479.68014 ACM事务处理。程序。语言系统。 4, 1-20 (1982).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.S.羽毛},ACM Trans。程序。语言系统。4,1--20(1982;Zbl 0479.68014) 全文: 内政部
艾琳·格雷夫;阿尔伯特·R·迈耶。 指定while程序的语义:Hoare和Lauer的一篇论文的教程和评论。 (英语) Zbl 0471.68007号 ACM事务处理。程序。语言系统。 3, 484-507 (1981).MSC公司:第68季度第60季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.Greif}和\textit{A.R.Meyer},ACM Trans。程序。语言系统。3484--507(1981年;Zbl 0471.68007) 全文: 内政部
Krzysztof R.阿普特。 霍尔的逻辑十年:调查——第1部分。 (英语) Zbl 0471.68006号 ACM事务处理。程序。语言系统。 3, 431-483 (1981).MSC公司:第68季度第60季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},ACM事务。程序。语言系统。3431-483(1981年;Zbl 0471.68006) 全文: 内政部
贾亚德夫·米斯拉 程序解释练习。 (英语) Zbl 0454.68004号 ACM事务处理。程序。语言系统。 3, 104-108 (1981).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},ACM事务。程序。语言系统。3104--108(1981年;Zbl 0454.68004) 全文: 内政部
奥托·朱利奇(Otto C.Juelich)。;克林顿·R·福克。 为并行执行编译非循环平滑程序。 (英语) Zbl 0452.68017号 ACM事务处理。程序。语言系统。 3, 24-48 (1981).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{O.C.Juelich}和\textit{C.R.Foulk},ACM Trans。程序。语言系统。3,24-48(1981年;兹bl 0452.68017) 全文: 内政部
爱德蒙·肖恩伯格;雅各布·T·施瓦茨。;米查·谢里尔 在SETL程序中选择数据表示的一种自动技术。 (英语) Zbl 0452.68010号 ACM事务处理。程序。语言系统。 3, 126-143 (1981).MSC公司:68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Schonberg}等人,ACM Trans。程序。语言系统。3、126--143(1981年;Zbl 0452.68010) 全文: 内政部
格雷戈里·安德鲁斯。;理查德·雷特曼(Richard P.Reitman)。 程序中信息流的公理方法。 (英语) Zbl 0468.68034号 ACM事务处理。程序。语言系统。 2, 56-76 (1980).MSC公司:68N25号 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Andrews}和\textit{R.P.Reitman},ACM Trans。程序。语言系统。256--76(1980年;Zbl 0468.68034) 全文: 内政部
尼西姆·弗朗西兹 分布式终端。 (英语) Zbl 0468.68025号 ACM事务处理。程序。语言系统。 2, 42-55 (1980).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},ACM事务处理。程序。语言系统。2、42-55(1980年;Zbl 0468.68025) 全文: 内政部
克拉克(Edmund Melson jun Clarke)。 并发程序资源不变量的合成。 (英语) Zbl 0468.68024号 ACM事务处理。程序。语言系统。 2, 338-358 (1980).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke jun.},美国医学会翻译。程序。语言系统。2338-358(1980;Zbl 0468.68024) 全文: 内政部
Krzysztof R.阿普特。;尼西姆·弗朗西兹;Willem P.De Roever。 通信顺序过程的证明系统。 (英语) Zbl 0468.68023号 ACM事务处理。程序。语言系统。 2, 359-385 (1980).MSC公司:68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,ACM Trans。程序。语言系统。2359--385(1980;Zbl 0468.68023) 全文: 内政部 链接
乔治·W·恩斯特。;威廉·奥格登。 MODULA中抽象数据类型的规范。 (英语) 兹伯利0468.68020 ACM事务处理。程序。语言系统。 2, 522-543 (1980).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Ernst}和\textit{W.F.Ogden},ACM Trans。程序。语言系统。2522--543(1980;Zbl 0468.68020) 全文: 内政部
曼弗雷德·布罗伊;Krieg-Brückner,伯尔尼 通过转换在程序开发期间派生不变断言。 (英语) Zbl 0468.68016号 ACM事务处理。程序。语言系统。 2, 321-337 (1980).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{B.Krieg Brückner},ACM翻译。程序。语言系统。2、321--337(1980;Zbl 0468.68016) 全文: 内政部
大卫·哈雷 和/或程序:结构化编程的一种新方法。 (英语) Zbl 0468.68015号 ACM事务处理。程序。语言系统。 2, 1-17 (1980).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel},ACM事务。程序。语言系统。2、1-17(1980;Zbl 0468.68015) 全文: 内政部
哥伦比亚特区勒克姆。;W·波拉克。 Ada异常处理:公理方法。 (英语) Zbl 0468.68014号 ACM事务处理。程序。语言系统。 2225-233(1980年).MSC公司:第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Luckham}和\textit{W.Polak},美国医学会翻译。程序。语言系统。2225-233(1980年;兹bl 0468.68014) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0468.68009号 ACM事务处理。程序。语言系统。 2, 90-121 (1980).MSC公司:第68季度第60季度 68T20型 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},ACM Trans。程序。语言系统。2、90-121(1980年;Zbl 0468.68009) 全文: 内政部
大卫·格里斯;加里·莱文 分配和过程调用证明规则。 (英语) Zbl 0468.68006号 ACM事务处理。程序。语言系统。 2, 564-579 (1980).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}和\textit{G.Levin},ACM翻译。程序。语言系统。2564--579(1980;Zbl 0468.68006) 全文: 内政部
马可·卡萨诺娃。;菲利普·伯恩斯坦。 一种用于推理程序访问关系数据库的正式系统。 (英语) Zbl 0462.68085号 ACM事务处理。程序。语言系统。 2, 386-414 (1980).MSC公司:68第20页 68N25号 68问题65 03B60号 第68季度第60季度 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Casanova}和\textit{P.A.Bernstein},ACM Trans。程序。语言系统。2386-414(1980;Zbl 0462.68085) 全文: 内政部
莱斯利·兰波特 证明多进程程序正确性的新方法。 (英语) Zbl 0463.68022号 ACM事务处理。程序。语言系统。 1, 84-97 (1979).MSC公司:第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport},ACM事务处理。程序。语言系统。184-97(1979年;Zbl 0463.68022) 全文: 内政部
罗伯特·康斯特布尔。;詹姆斯·多纳休(James E.Donahue)。 形式语义的层次方法,应用于PL/CS的定义。 (英语) Zbl 0463.68013号 ACM事务处理。程序。语言系统。 1, 98-114 (1979).MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}和\textit{J.E.Donahue},ACM Trans。程序。语言系统。1、98——114(1979年;Zbl 0463.68013) 全文: 内政部
大卫·C·勒克姆。;铃木、诺里希萨 验证Pascal中的数组、记录和指针操作。 (英语) Zbl 0452.68014号 ACM事务处理。程序。语言系统。 1, 226-244 (1979).MSC公司:第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Luckham}和\textit{N.铃木},ACM Trans。程序。语言系统。1226--244(1979;Zbl 0452.68014) 全文: 内政部
格雷格·纳尔逊;Derek C.奥本。 通过合作决策程序简化。 (英语) Zbl 0452.68013号 ACM事务处理。程序。语言系统。 1245-257(1979年).MSC公司:第68季度第60季度 68问题65 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Nelson}和\textit{D.C.Oppen},美国医学会翻译。程序。语言系统。1245--257(1979;Zbl 0452.68013) 全文: 内政部
大卫·格里斯 有时比以往更好吗? (英语) Zbl 0452.68012号 ACM事务处理。程序。语言系统。 1, 258-265 (1979).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries},ACM事务处理。程序。语言系统。1258-265(1979年;兹bl 0452.68012) 全文: 内政部