大卫·安科纳;乔治·德尔扎诺;卢卡·弗朗西斯科尼;毛里齐奥·利奥塔;恩里科·普拉姆波利尼;玛丽娜·里巴多;菲利波·里卡 带有闭包和优先级队列的异步程序的抽象机器。 (英语) 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) 全文: 内政部
大卫·安科纳;乔瓦尼·拉戈里奥 命令式面向对象程序的理想化共导类型系统。 (英语) Zbl 1220.68047号 西奥·雷罗。通知。申请。 45,第1期,3-33页(2011年).MSC公司:68甲19 03B70号 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{G.Lagorio},RAIRO,Theor。通知。申请。45,第1号,第3--33号(2011;Zbl 1220.68047) 全文: 内政部 Numdam编号 欧洲DML
大卫·安科纳;安德烈亚·科拉迪;乔瓦尼·拉戈里奥;费卢西奥·达米亚尼 面向对象语言抽象编译成共导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)
大卫·安科纳;埃琳娜·祖卡 混合模理论:基本算子和派生算子。 (英语) Zbl 0918.68008号 数学。结构。计算。科学。 8,第4号,401-446(1998).MSC公司:68甲15 68号01 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{E.Zucca},数学。结构。计算。科学。8,第4号,401--446(1998;Zbl 0918.68008) 全文: 内政部