×

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

最新的 引文 关联
大卫·安科纳;乔治·德尔扎诺;卢卡·弗朗西斯科尼;毛里齐奥·利奥塔;恩里科·普拉姆波利尼;玛丽娜·里巴多;菲利波·里卡

带有闭包和优先级队列的异步程序的抽象机器。 （英语） Zbl 1478.68087号

Hague，Matthew（编辑）等人，《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10506, 59-74 (2017).
MSC公司：2009年第68季度 68甲19 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}等人，Lect。注释计算。科学。10506、59--74（2017；Zbl 1478.68087）
全文： 内政部
大卫·安科纳;乔瓦尼·拉戈里奥

用于抽象编译的静态单一信息表。 （英语） Zbl 1362.68037号

Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604，10-27（2012）。
MSC公司：68N20型 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}和\textit{G.Lagorio}，莱克特。注释计算。科学。7604，10--27（2012；Zbl 1362.68037）
全文： 内政部
大卫·安科纳;安德烈亚·科拉迪;乔瓦尼·拉戈里奥;费卢西奥·达米亚尼

面向对象语言抽象编译成共导CLP（X）：类型推理能满足验证吗？ （英语） Zbl 1308.68027号

Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。2010年6月28日至30日，法国巴黎，FoVeOOS 2010国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528，31-45（2011）。
MSC公司：68甲15 68甲19 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Ancona｝等人，Lect。注释计算。科学。6528，31-45（2011；Zbl 1308.68027）
全文： 内政部
大卫·安科纳;乔瓦尼·拉戈里奥

用于将面向对象语言抽象编译为Horn公式的共导子类型。 （英语） Zbl 1456.68024号

Montanari，Angelo（编辑）等人，《关于游戏、自动机、逻辑和形式验证的第一次研讨会》，Minori（Amalfi Coast），意大利，2010年6月17日至18日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25214-230（2010）。
MSC公司：68甲15 03B70号 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}和\textit{G.Lagorio}，电子。程序。西奥。计算。科学。（EPTCS）25、214--230（2010；Zbl 1456.68024）
全文： 链接
大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡

通过共导逻辑编程进行类型推理。 （英语） Zbl 1246.68079号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-02443-6/pbk）。计算机科学课堂讲稿5497,1-18（2009）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}等人，Lect。注释计算。科学。5497，1-18（2009；Zbl 1246.68079）
全文： 内政部
大卫·安科纳;费卢西奥·达米亚尼;索菲亚·德罗索波卢;埃琳娜·祖卡

多态字节码：类Java语言的组合编译。 （英语） Zbl 1369.68122号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。26-37 (2005).
MSC公司：68N20型 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。26-37（2005年；Zbl 1369.68122）
全文： 内政部
大卫·安科纳;埃琳娜·祖卡

类Java语言的主要类型。 （英语） Zbl 1325.68051号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。306-317 (2004).
MSC公司：68甲19 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}和\textit{E.Zucca}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。306-317（2004年；兹bl 1325.68051）
全文： 内政部
大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡

Java单独编译的正式框架。 （英语） Zbl 1049.68746号

Magnusson，Boris（编辑），ECOOP 2002-面向对象编程。第十六届欧洲会议，2002年6月10日至14日，西班牙马拉加。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43759-2）。莱克特。注释计算。科学。2374, 609-635 (2002).
MSC公司：68单位99 68甲19 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Ancona}等人，Lect。注释计算。科学。2374609--635（2002年；Zbl 1049.68746）
全文： 链接
大卫·安科纳;克里斯托弗·安德森;费卢西奥·达米亚尼;索菲亚·德罗索波卢;保拉·吉安尼尼;埃琳娜·祖卡

将\（{\mathcal F}\）ickle有效地翻译为Java。 （英语） Zbl 1042.68534号

安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 215-234 (2001).
MSC公司：68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit｛D.Ancona｝等人，Lect。注释计算。科学。2202215--234（2001年；Zbl 1042.68534）
全文： 链接
大卫·安科纳;埃琳娜·祖卡

类Java语言的真正模块。 （英语） Zbl 0982.68809号

Lindskov Knudsen，Jörgen（编辑），ECOOP 2001-面向对象编程。第十五届欧洲会议，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2072, 354-380 (2001).
MSC公司：68单位99 68甲19 68甲15
PDF格式BibTeX公司 XML格式引用
\textit｛D.Ancona｝和\textit｛E.Zucca｝，Lect。注释计算。科学。2072、354--380（2001年；Zbl 0982.68809）
全文： 链接
大卫·安科纳

MIX（FL）：mixin模块的内核语言。 （英语） Zbl 0983.68040号

Rus，Teodor（编辑），代数方法论和软件技术。2000年5月20日至27日，第八届国际会议，AMAST 2000，美国爱荷华州爱荷华城。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1816, 454-468 (2000).
MSC公司：68号30 第68季度55 68甲19
PDF格式BibTeX公司 XML格式引用
\发短信{D.Ancona}，Lect。注释计算。科学。1816454-468（2000年；Zbl 0983.68040）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件