凯·特罗亚纳;克莱门斯·格雷克 依赖类型的数组程序不会出错。 (英语) Zbl 1187.68320号 J.日志。阿尔盖布。程序。 78,第7号,643-664(2009).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Trojahner}和\textit{C.Grelck},J.Log。阿尔盖布。程序。78,编号7,643--664(2009;Zbl 1187.68320) 全文: 内政部 链接
安藤萨巴斯;塔尔莫乌斯塔卢 部分冗余消除的证明优化。 (英语) Zbl 1187.68167号 J.日志。阿尔盖布。程序。 78,第7号,619-642(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Saabas}和\textit{T.Uustalu},J.Log。阿尔盖布。程序。78,第7号,619--642(2009;Zbl 1187.68167) 全文: 内政部
亚历杭德罗·拉索;安德烈·萨贝尔菲尔德 在同步状态下确保线程和调度程序之间的交互。 (英语) Zbl 1187.68310号 J.日志。阿尔盖布。程序。 78,第7号,593-618(2009).MSC公司:68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Russo}和\textit{A.Sabelfeld},J.Log。阿尔盖布。程序。78,第7号,593--618(2009;Zbl 1187.68310) 全文: 内政部
哈梅尔·内斯特拉 最大不动点形式的超有限语义。 (英语) Zbl 1186.68269号 J.日志。阿尔盖布。程序。 78,第7期,573-592(2009).MSC公司:68问题55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Nestra},J.Log。阿尔盖布。程序。78,第7号,573--592(2009;Zbl 1186.68269) 全文: 内政部
亨莱因,弗里茨 什么是排序功能? (英语) Zbl 1187.68181号 J.日志。阿尔盖布。程序。 78,第7期,552-572(2009).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein},J.Log。阿尔盖布。程序。78,编号7,552--572(2009;Zbl 1187.68181) 全文: 内政部
de Frutos Escrig,大卫;卡洛斯·格雷戈里奥·罗德里格斯;米盖尔·帕洛米诺 准备就绪:代数和一般证明。 (英语) Zbl 1187.68309号 J.日志。阿尔盖布。程序。 78,第7期,539-551(2009).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}等人,J.Log。阿尔盖布。程序。78,第7号,539--551(2009;Zbl 1187.68309) 全文: 内政部
伊娃·伯罗斯;马格尼·哈夫雷恩 一种与硬件无关的并行编程模型。 (英语) Zbl 1187.68133号 J.日志。阿尔盖布。程序。 78,第7号,519-538(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Burrows}和\textit{M.Haveraaen},J.Log。阿尔盖布。程序。78,编号7,519--538(2009;Zbl 1187.68133) 全文: 内政部
艾丽卡·阿尔布拉汉姆;伊莫·格雷布;安德烈亚斯·格吕纳;马丁·斯特芬 具有未来和承诺的面向对象语言的行为接口描述。 (英语) 兹比尔1187.68130 J.日志。阿尔盖布。程序。 78,第7期,491-518(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,J.Log。阿尔盖布。程序。78,第7号,491--518(2009;Zbl 1187.68130) 全文: 内政部
埃纳尔·布罗赫·约翰森(编辑);Owe、Olaf(编辑);施奈德,杰拉多(编辑) 特刊:第19届北欧规划理论研讨会(NWPT 2007)。根据2007年10月10日至12日在挪威奥斯陆举行的研讨会上所作的陈述,选出了一些论文。 (英语) Zbl 1194.68047号 J.日志。阿尔盖布。程序。78,第7、vii、491-664号(2009年)。 MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式