弗里茨·亨利恩;肯·弗里斯·拉森 具有基于判别的连接和符号笛卡尔积的通用多集编程。 (英语) Zbl 1232.68028号 高-订购符号。计算。 23,第3期,337-370(2010).MSC公司:第68页第19页 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}和\textit{K.F.Larsen},高-订购符号。计算。23,第3号,337--370(2010;Zbl 1232.68028) 全文: 内政部
斯特凡·霍尔德曼;尤里安·黑格 使“严格性”更具相关性。 (英语) Zbl 1232.68026号 高-订购符号。计算。 第315-335号第23页(2010年).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage},高中-订购符号。计算。23,第3号,315--335(2010;Zbl 1232.68026) 全文: 内政部
阿伦·拉科蒂亚;戴维森·R·博卡多。;安舒曼·辛格;Aleardo jun,马纳塞罗。 上下文敏感分析,无需调用上下文。 (英语) Zbl 1232.68031号 高-订购符号。计算。 23,第3号,275-313(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lakhotia}等人,高-订购符号。计算。23,第3号,275--313(2010;Zbl 1232.68031) 全文: 内政部
约翰内斯·鲁道夫;彼得·蒂曼 记忆法:在运行时生成类型安全的字节码。 (英语) Zbl 1234.68055号 高-订购符号。计算。 23,第3期,371-407(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rudolph}和\textit{P.Thiemann},高-订购符号。计算。23,第3号,371--407(2010;Zbl 1234.68055) 全文: 内政部
约翰·加拉赫(John P.Gallagher)。(编辑);贾尼斯·沃格特兰德(编辑) 特刊:PEPM 2010,ACM SIGPLAN 2010部分评估和程序操作研讨会,西班牙马德里,2010年1月18-19日。精选论文。 (英语) Zbl 1254.68029号 高-订购符号。计算。23,第3期,273-407(2010年)。 MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式