×

找到20份文件（结果1–20）

最新 引文 相关性
迪伦·麦克德莫特;森田康树;塔尔莫乌斯塔卢

带有WebAssembly堆栈多态性子类型的类型系统。 （英语） Zbl 07719839号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 305-323 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.McDermott}等人，Lect。注释计算。科学。13572，305-323（2022；Zbl 07719839）
全文： 内政部
布兰登·伯勒;卡尔·克里

TWAM：逻辑程序的认证抽象机。 （英语） Zbl 1403.68035号

Piskac、Ruzica（编辑）等人，《验证软件》。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。查姆：施普林格（ISBN 978-3-030-03591-4/pbk；978-3-0.30-03592-1/电子书）。计算机科学课堂讲稿11294112-134（2018）。
MSC公司：68N20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{B.Bohrer}和\textit{K.Crary}，莱克特。注释计算。科学。11294、112--134（2018；Zbl 1403.68035）
全文： 内政部 arXiv公司
迪米特里奥斯·库扎帕斯;佩雷斯（Jorge A.Pérez）。;吉田、Nobuko

关于高阶会话过程的相对表达性。 （英语） Zbl 1335.68174号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632446-475（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Kouzapas}等人，Lect。注释计算。科学。9632446--475（2016年；Zbl 1335.68174）
全文： 内政部 链接
克劳德·博尔杜克;贝歇尔·科塔里

使用可视下推Kleene代数验证常见的过程间编译器优化。 （英语） Zbl 1308.68036号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学课堂讲稿6486，28-43（2011）。
MSC公司：68纳米30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bolduc}和\textit{B.Ktari}，莱克特。注释计算。科学。6486，28-43（2011；Zbl 1308.68036）
全文： 内政部
松野育田;佐藤、弘毅

用于数组绑定检查的流分析类型系统。 （英语） Zbl 1270.68180号

James Harland（编辑），CATS’03。计算：澳大利亚理论研讨会。研讨会记录，澳大利亚莫纳什，2003年2月4日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记78178-195（2003）。
MSC公司：60年第68季度 68纳米30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Yutaka}和\textit{H.Sato}，电子。注释Theor。计算。科学。78、178--195（2003年；Zbl 1270.68180）
全文： 链接
卡斯滕·舒尔曼;于大川;倪兆忠

LF中的\（F_{\omega}\）表示。 （英语） Zbl 1268.68055号

Ambler，S.J.（编辑）等人，MERLIN 2001。2001年6月18日，意大利锡耶纳，关于可变绑定语言的机械化推理研讨会论文集（与IJCAR 2001有关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》58，第1期，79-96（2001）。
MSC公司：68甲18 68吨15 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{C.Schürmann}等人，《电子》。注释Theor。计算。科学。58，No.1，79--96（2001；Zbl 1268.68055）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件