×

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

最新的 引文 关联
克利夫·琼斯。;尼桑萨拉·亚塔帕纳奇

使用抽象和具体化进行分离推理。 （英语） Zbl 1366.68026号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。2015年9月7日至11日在英国约克举行的2015年SEFM第13届国际会议。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-22968-3/pbk；978-3-319-22969-0/ebook）。《计算机科学讲义9276，3-19》（2015）。
MSC公司：68纳米30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Jones}和\textit{N.Yatapanage}，Lect。注释计算。科学。9276，3-19（2015；Zbl 1366.68026）
全文： 内政部 链接
亚瑟·查古埃罗;弗朗索瓦·波蒂埃

功能演算的功能翻译。 （英语） Zbl 1323.68099号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，213-224（2008）。
MSC公司：68甲18 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Charguéraud}和\textit{F.Pottier}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。213--224（2008；Zbl 1323.68099）
全文： 内政部
鲁，易;约翰·波特

使用效果封装保护表示。 （英语） Zbl 1369.68078号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-027-2）。359-371 (2006).
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lu}和\textit{J.Potter}，摘自：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'06，查尔斯顿，南卡罗来纳州，美国，2006年1月11-13日。纽约州纽约市：计算机协会（ACM）。359-371（2006年；Zbl 1369.68078）
全文： 内政部
Chandrasekhar Boyapati;巴巴拉·利斯科夫;Shrra，刘巴

对象封装的所有权类型。 （英语） Zbl 1321.68166号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。213-223 (2003).
MSC公司：68甲19 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{C.Boyapati}等人，《第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。213-223（2003年；兹bl 1321.68166）
全文： 内政部
大卫·G·克拉克。;詹姆斯·诺布尔;约翰·M·波特。

对象包含的简单所有权类型。 （英语） 兹伯利0982.68763

Lindskov Knudsen，Jörgen（编辑），ECOOP 2001-面向对象编程。第十五届欧洲会议，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2072, 53-76 (2001).
MSC公司：68单位99 68甲19 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{D.G.Clarke}等人，Lect。注释计算。科学。2072、53--76（2001年；Zbl 0982.68763）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件