曼弗雷德·布罗伊;马丁·威尔辛;彼得·佩珀 关于编程语言的代数定义。 (英语) Zbl 0627.68009号 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司:68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人,《美国医学杂志》。程序。语言系统。9、54-99(1987年;Zbl 0627.68009) 全文: 内政部 链接
德巴西什·班纳吉 递归函数程序的语法分析方法。 (英语) Zbl 0623.68013号 ACM事务处理。程序。语言系统。 9, 441-462 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Banerjee},ACM翻译。程序。语言系统。9、441--462(1987年;Zbl 0623.68013) 全文: 内政部 链接
瓦伦汀·图尔钦。 超级编译器的概念。 (英语) Zbl 0598.68016号 ACM事务处理。程序。语言系统。 8, 292-325 (1986).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Turchin},ACM翻译。程序。语言系统。8、292--325(1986年;Zbl 0598.68016) 全文: 内政部 链接
基沙夫·平加里;阿尔文德 高效的需求驱动评估。一、。 (英语) Zbl 0562.68006号 ACM事务处理。程序。语言系统。 7, 311-333 (1985).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.Pingali}和\textit{Arvind},ACM翻译。程序。语言系统。7311--333(1985;Zbl 0562.68006) 全文: 内政部 链接
Krzysztof R.阿普特。;尼西姆·弗朗西兹 CSP分布式终端约定建模。 (英语) Zbl 0536.68018号 ACM事务处理。程序。语言系统。 6, 370-379 (1984).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{N.Francez},ACM Trans。程序。语言系统。6370-379(1984年;Zbl 0536.68018) 全文: 内政部 链接
罗伯特·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) 全文: 内政部
斯特凡·弗洛伊登伯格。;雅各布·T·施瓦茨。;米查·谢里尔 具有SETL优化器的经验。 (英语) Zbl 0498.68007号 ACM事务处理。程序。语言系统。 5, 26-45 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Freudenberger}等人,ACM翻译。程序。语言系统。5、26-45(1983年;Zbl 0498.68007) 全文: 内政部
威廉·马尔格伦。 图形数据类型的正式规范。 (英语) Zbl 0494.68016号 ACM事务处理。程序。语言系统。 4, 687-710 (1982).MSC公司:60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Mallgren},ACM翻译。程序。语言系统。4687-710(1982年;Zbl 0494.68016) 全文: 内政部
罗伯特·B·K·杜瓦。;米查·谢里尔;埃莉亚·魏泽尔鲍姆 垃圾收集算法的转换派生。 (英语) Zbl 0492.68015号 ACM事务处理。程序。语言系统。 4, 650-667 (1982).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.K.Dewar}等人,ACM Trans。程序。语言系统。4650-667(1982年;Zbl 0492.68015) 全文: 内政部
罗伯特·佩奇;沙伊·柯尼格 可计算表达式的有限差分。 (英语) Zbl 0484.68009号 ACM事务处理。程序。语言系统。 4, 402-454 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Paige}和\textit{S.Koenig},ACM Trans。程序。语言系统。4、402--454(1982年;Zbl 0484.68009) 全文: 内政部
曼弗雷德·布罗伊;彼得·佩珀 结合代数和算法推理:Schorr-Waite算法的一种方法。 (英语) 兹伯利048368035 ACM事务处理。程序。语言系统。 4, 362-381 (1982).MSC公司:68瓦99 68第05页 68页第10页 68号01 68T99型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{P.Pepper},ACM Trans。程序。语言系统。4362--381(1982年;Zbl 0483.68035) 全文: 内政部
米查·谢里尔 关于集合论表达式形式微分的一些观察。 (英语) Zbl 0481.68005号 ACM事务处理。程序。语言系统。 4, 196-225 (1982).MSC公司:68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir},ACM翻译。程序。语言系统。4196-225(1982;Zbl 0481.68005) 全文: 内政部
马丁·费瑟(Martin S.Feather)。 用于协助程序转换的系统。 (英语) Zbl 0479.68014号 ACM事务处理。程序。语言系统。 4, 1-20 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.S.羽毛},ACM Trans。程序。语言系统。4,1--20(1982;Zbl 0479.68014) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0468.68009号 ACM事务处理。程序。语言系统。 2, 90-121 (1980).MSC公司:60年第68季度 68T20型 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},ACM Trans。程序。语言系统。2、90-121(1980年;Zbl 0468.68009) 全文: 内政部