伊恩·泽尼 关于图的重写、约简和存在循环时的求值。 (英语) Zbl 1425.68175号 高-订购符号。计算。 26,编号1-4,63-84(2013).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Zerny},高-订购符号。计算。26,编号1--4,63-84(2013;Zbl 1425.68175) 全文: 内政部
伊索·萨萨诺;Takumi Goto公司 为隐式类型函数语言完成变量名的方法。 (英语) Zbl 1360.68340号 高-订购符号。计算。 25,第1期,127-163(2012).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Sasano}和\textit{T.Goto},高-订购符号。计算。25,第1号,127--163(2012;Zbl 1360.68340) 全文: 内政部
纳比尔·布斯塔尼;尤里安·黑格 改进通用Java的类型错误消息。 (英语) Zbl 1256.68026号 高-订购符号。计算。 24,编号1-2,3-39(2011).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{N.el-Boustani}和\textit{J.Hage},高-订购符号。计算。24,编号1--2,3--39(2011;Zbl 1256.68026) 全文: 内政部
陈坤;翁淑春;林嘉茵;王蒙;Khoo,Siau Cheng先生 通过方面对懒惰的纯函数式语言进行副作用本地化。 (英语) Zbl 1256.68031号 高-订购符号。计算。 24,编号1-2,151-189(2011).MSC公司:68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}等人,高-订购符号。计算。24,编号1--2,151--189(2011;Zbl 1256.68031) 全文: 内政部 链接
彼得·阿奇顿;马克·范·埃克伦;彼得·科普曼;马可·T·莫拉赞。 1999/2000年与2007/2008年职能方案拟订趋势的趋势。 (英语) Zbl 1256.68028号 高-订购符号。计算。 23,第4期,465-487(2010).MSC公司:68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}等人,高-订购符号。计算。23,第4号,465--487(2010;Zbl 1256.68028) 全文: 内政部
斯特凡·霍尔德曼;尤里安·黑格 使“严格性”更具相关性。 (英语) Zbl 1232.68026号 高-订购符号。计算。 23,第3期,315-335(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage},高中-订购符号。计算。23,编号3,315-335(2010年;兹bl 1232.68026) 全文: 内政部
阿伦·拉科蒂亚;戴维森·R·博卡多。;辛格,安舒曼;Aleardo jun,马纳塞罗。 上下文敏感分析,无需调用上下文。 (英语) Zbl 1232.68031号 高-订购符号。计算。 第3期,第23期,275-313页(2010年).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lakhotia}等人,高-订购符号。计算。23,第3号,275--313(2010;Zbl 1232.68031) 全文: 内政部
大卫·赫尔曼;阿伦·汤姆;科马克·弗拉纳根 节省空间的渐进式打字。 (英语) Zbl 1232.68025号 高-订购符号。计算。 23,第2期,167-189(2010).MSC公司:68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Herman}等人,高-订购符号。计算。23,第2号,167--189(2010;Zbl 1232.68025) 全文: 内政部
尼尔·斯卡索普;亨利克·尼尔森 面对变化保持冷静。通过推理变化来优化FRP。 (英语) Zbl 1232.68027号 高-订购符号。计算。 23,第2期,227-271(2010).MSC公司:68甲18 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{H.Nilsson},高-订购符号。计算。23,第2227-271号(2010年;兹bl 1232.68027) 全文: 内政部
桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 哥德尔系统\(\mathcal T\)的线性和迭代器类型。 (英语) Zbl 1242.03032号 高-订购符号。计算。 23,第1期,1-27页(2010年).MSC公司:03B40型 03楼52 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}等人,高-订购符号。计算。23,第1号,1--27(2010;Zbl 1242.03032) 全文: 内政部
埃克塞尔·西蒙;安迪·金 每个不等式抽象域的两个变量。 (英语) Zbl 1232.68030号 高-订购符号。计算。 23,第1期,第87-143页(2010年).MSC公司:68号30 68N20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}和\textit{A.King},高-订购符号。计算。23,第1号,87--143(2010;Zbl 1232.68030) 全文: 内政部 链接
福斯托·斯波托;帕耶特,Étienne Java字节码本地化分析的魔法集。 (英语) Zbl 1244.68052号 高-订购符号。计算。 23,第1期,29-86(2010). 审核人:路易吉·帕洛波利(伦德) MSC公司:第68季度55 68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Spoto}和\textit{E.Payet},高-订购符号。计算。23、第1号、第29--86号(2010;Zbl 1244.68052) 全文: 内政部 链接
奥利维尔·丹维 Peter J.Landin(1930-2009)。 (英语) Zbl 1183.01023号 高-订购符号。计算。 22,第2期,191-195(2009).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy},高-订购符号。计算。22,第2号,191--195(2010;Zbl 1183.01023) 全文: 内政部
扎伊娜·达盖伊;泽维尔·勒罗伊 一个经过验证的高阶取消修正优化框架。 (英语) Zbl 1209.68106号 高-订购符号。计算。 22,第3期,199-231(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dargaye}和\textit{X.Leroy},高-订购符号。计算。22,第3号,199--231(2009;Zbl 1209.68106) 全文: 内政部
浅井,肯尼奇 关于键入分隔的继续符:printf问题的三个新解决方案。 (英语) Zbl 1202.68084号 高-订购符号。计算。 22,第3期,275-291(2009).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Asai},高-订购符号。计算。22,第3号,275--291(2009;Zbl 1202.68084) 全文: 内政部 链接
汤姆·赫肖维茨;泽维尔·勒罗伊;威尔斯,J.B。 在按调用值函数语言中编译扩展递归。 (英语) 兹比尔1183.68140 高-订购符号。计算。 22,第1期,3-66页(2009年).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirschowitz}等人,高-订购符号。计算。22,第1、3--66号(2009年;Zbl 1183.68140) 全文: 内政部 arXiv公司
克劳迪奥·奥乔亚;席尔瓦,约瑟夫;德国维达尔 基于redex跟踪的惰性函数程序的动态切片。 (英语) Zbl 1192.68139号 高-订购符号。计算。 21,编号1-2,147-192(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Ochoa}等人,高-订购符号。计算。21,第1-1147-192号(2008年;兹bl 1192.68139) 全文: 内政部 链接
瑟伦·德博伊斯 通过仪器化解释器专业化进行必要的程序转换。 (英语) Zbl 1176.68103号 高-订购符号。计算。 21,编号1-2,37-58(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Debois},高-订购符号。计算。21,编号1--2,37-58(2008;Zbl 1176.68103) 全文: 内政部
罗伯特·格莱克 Jones最优性和BTI泛特化子的研究。 (英语) Zbl 1188.68112号 高-订购符号。计算。 21,第3号,283-309(2008).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück},高-订购符号。计算。21,第3号,283--309(2008;Zbl 1188.68112) 全文: 内政部
单忠杰 动态分隔控件的静态模拟。 (英语) Zbl 1128.68010号 高-订购符号。计算。 20,第4号,371-401(2007).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Shan},高-订购符号。计算。20,第4号,371--401(2007;Zbl 1128.68010) 全文: 内政部
克里希纳穆提,施莱姆;霍普金斯,彼得·沃尔顿;杰·麦卡锡;Paul T.Graunke。;格雷格·佩蒂约翰;马提亚斯·费莱森 PLT方案web服务器的实现和使用。 (英语) Zbl 1129.68330号 高-订购符号。计算。 20,第4期,431-460(2007).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishnamurthi}等人,高-订购符号。计算。20,第4号,431--460(2007;Zbl 1129.68330) 全文: 内政部
戴维·施密特(David A.Schmidt)。 状态转换机器,重新访问。 (英语) Zbl 1129.68411号 高-订购符号。计算。 20,第3号,333-335(2007).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Schmidt},高-订购符号。计算。20,第3号,333--335(2007;Zbl 1129.68411) 全文: 内政部
雷米·杜伦斯;帕斯卡·弗拉德特 接下来的700台Krivine机器。 (英语) Zbl 1130.68053号 高-订购符号。计算。 20,第3期,237-255(2007).MSC公司:2005年第68季度 68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Douence}和\textit{P.Fradet},高-订购符号。计算。20,第3号,237--255(2007;Zbl 1130.68053) 全文: 内政部 链接
杰森·希基;阿列克西·诺金 逻辑框架中的正式编译器构造。 (英语) Zbl 1105.68020号 高-订购符号。计算。 19,编号2-3,197-230(2006).MSC公司:68N20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Hickey}和\textit{A.Nogin},高-订购符号。计算。19,编号2--3,197-230(2006;Zbl 1105.68020) 全文: 内政部
安托万·米内 八角形抽象域。 (英语) Zbl 1105.68069号 高-订购符号。计算。 19,第1期,31-100(2006).MSC公司:第68季度55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Miné},高-订购符号。计算。19、第1号、第31--100号(2006;Zbl 1105.68069) 全文: 内政部
罗伯特·佩奇 NSF提案。 (英语) Zbl 1084.68018号 高-订购符号。计算。 18,编号1-2,211-235(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Paige},高-订购符号。计算。18,编号1--2,211-235(2005;Zbl 1084.68018) 全文: 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;苏菲·雷诺 通过专门化和减少不确定性导出有效的逻辑程序。 (英语) Zbl 1103.68034号 高-订购符号。计算。 18,编号1-2,121-210(2005).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,高-订购符号。计算。18,编号1--2,121-210(2005;Zbl 1103.68034) 全文: 内政部
朱尔斯·德沙奈斯;伯恩哈德·莫勒 关系的最小自反点。 (英语) Zbl 1081.06001号 高-订购符号。计算。 18,编号1-2,51-77(2005).MSC公司:06年06月06日 06B23号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{B.Möller},高-订购符号。计算。18,编号1--2,51-77(2005;Zbl 1081.06001) 全文: 内政部 链接
戈亚尔、迪帕克 改进别名分析算法的变换推导。 (英语) Zbl 1084.68016号 高-订购符号。计算。 18,第1-2、15-49号(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Goyal},高-订购符号。计算。18,编号1--2,15--49(2005;Zbl 1084.68016) 全文: 内政部
丹尼·杜贝;马克,费利 BIT:用于微控制器的非常紧凑的Scheme系统。 (英语) Zbl 1086.68520号 高-订购符号。计算。 18,编号3-4,271-298(2005).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Dubé}和\textit{M.Feeley},高-订购符号。计算。18,编号3--4,271--298(2005;Zbl 1086.68520) 全文: 内政部
菲利普·梅尼尔;罗伯特·布鲁斯·芬德勒;保罗·斯特克勒;米切尔·旺德 选择器使基于集合的分析过于困难。 (英语) Zbl 1083.68016号 高-订购符号。计算。 18,编号3-4,245-269(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Meunier}等人,高-订购符号。计算。18,编号3--4,245--269(2005;Zbl 1083.68016) 全文: 内政部