×

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

最新的 引文 关联
朱慧彪;杰夫·桑德斯。;何继峰;秦胜超

概率定时共享变量语言的表示语义。 （英语） Zbl 1452.68062号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7681, 224-247 (2013).
MSC公司：68号30 68甲15 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhu}等人，Lect。注释计算。科学。7681，224--247（2013；Zbl 1452.68062）
全文： 内政部
弗罗林·克雷西恩;魏恩根·钦;何冠华;秦胜超

基于间隔的变量参数类型推断。 （英语） 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）
全文： 内政部
罗晨光;秦胜超

多重继承的分离逻辑。 （英语） Zbl 1286.68320号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，27-40（2008）。
MSC公司：60年第68季度 68甲19 03B70型
PDF格式BibTeX公司 XML格式引用
\textit{C.Luo}和\textit{S.Qin}，电子。注释Theor。计算。科学。212、27-40（2008年；Zbl 1286.68320）
全文： 内政部
魏恩根·钦;阮秀海;秦胜超;马丁·里纳德

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

Hankin，Chris（编辑）等人，《静态分析》。第12届国际研讨会，SAS 2005，英国伦敦，2005年9月7日至9日。诉讼程序。柏林：施普林格出版社（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）
全文： 内政部
何继峰;刘志明;李晓山;秦胜超

面向对象设计的关系模型。 （英语） 兹比尔1116.68373

Chin，Wei-Ngan（编辑），《编程语言和系统》。第二届亚洲研讨会，2004年APLAS，台湾台北，2004年11月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23724-0/pbk）。计算机科学课堂讲稿3302，415-436（2004）。
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{H.Jifeng}等人，Lect。注释计算。科学。3302、415--436（2004年；Zbl 1116.68373）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

体积

全部的 前5名

出版年份

主字段

全部的 前3名

软件