×

找到6个文档（结果1-6）

最新的 引文 关联
弗罗林·克雷西恩;魏恩根·钦;何冠华;秦胜超

基于间隔的变量参数类型推断。 （英语） Zbl 1234.68053号

朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。《计算机科学讲义》5502112-127（2009）。
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{F.Craciun}等人，Lect。注释计算。科学。5502112--127（2009年；Zbl 1234.68053）
全文： 内政部
魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超

使用分离逻辑增强模块化OO验证。 （英语） Zbl 1295.68082号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。87-99 (2008).
MSC公司：68号30 68甲19 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{W.-N.Chin}等人，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。87-99（2008年；Zbl 1295.68082）
全文： 内政部
魏恩根·钦;阮秀海;秦胜超;马丁·里纳德

OO程序的内存使用验证。 （英语） Zbl 1141.68364号

Hankin，Chris（编辑）等人，《静态分析》。2005年9月7日至9日在英国伦敦举行的2005年SAS第12届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28584-9/pbk）。计算机科学课堂讲稿3672，70-86（2005）。
MSC公司：68号30 68甲19 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{W.-N.Chin}等人，Lect。注释计算。科学。3672，70-86（2005；Zbl 1141.68364）
全文： 内政部
魏恩根·钦;胡镇江

通过融合和元组化实现模块化程序派生。 （英语） 兹比尔1028.68706

Batory，Don（编辑）等人，《生成编程和组件工程》，ACM SIGPLAN/SIGSOFT会议，2002年GPCE，宾夕法尼亚州匹兹堡，美国，2002年10月6-8日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2487, 140-155 (2002).
MSC公司：68单位99 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{W.-N.Chin}和\textit{Z.Hu}，Lect。注释计算。科学。2487，140--155（2002年；Zbl 1028.68706）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

体积

全部的 前5名

出版年份

主字段

软件