×

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

最新的 引文 关联
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;约翰·加拉赫（John P.Gallagher）。;曼努埃尔五世（Manuel V.Hermenegildo）。;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
阿尔贝托·佩特罗西

我早期研究兴趣的历史记录。 （英语） Zbl 07453187号

Fribourg，Laurent（ed.）等人，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）320，1-28（2020年）。
MSC公司：68纳米30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}，电子。程序。西奥。计算。科学。（EPTCS）320，1--28（2020；Zbl 07453187）
全文： arXiv公司 链接
曼纽尔·赫尔梅内吉尔多（编辑）;佩德罗·洛佩兹·加西亚（编辑）;阿尔贝托·佩托罗西（编辑）;毛里齐奥·普罗埃蒂（编辑）

第26届基于逻辑的程序合成与转换国际研讨会专刊：2016年LOPSTR。前言。 （英语） 兹比尔1497.68018

芬丹。通知。 177，编号3-4，i-iii（2020）.
MSC公司：68-06 68纳米30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hermenegildo}（编辑）等人，Fundam。通知。177，编号3--4，i-iii（2020；Zbl 1497.68018）
全文： 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

排序程序属性的证明：Horn子句验证中的一个案例研究。 （英语） Zbl 1483.68189号

De Angelis，Emanuele（ed.）等人，《第六次Horn子句验证与合成研讨会论文集》，HCVS 2019，以及第三次程序等效与关系推理研讨会论文集，2019年4月6日至7日，捷克共和国布拉格，PERR 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）29648-75（2019年）。
MSC公司：60年第68季度 03B70号 68甲18 68纳米30 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）296、48-75（2019年；Zbl 1483.68189）
全文： arXiv公司 链接
埃马努埃莱·德安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

勘误表：“在没有归纳的情况下解决归纳数据类型的Horn子句”。 （英语） Zbl 1472.68086号

理论与实践。日志。程序。 19，第4号，629（2019）.
MSC公司：60年第68季度 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。19，第4号，629（2019；Zbl 1472.68086）
全文： 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿德里安·帕拉西奥斯;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

Erlang程序运行时错误检测的有界符号执行。 （英语） Zbl 1525.68008号

Kahsai，Temesghen（ed.）等人，《验证和合成Horn条款第五次研讨会论文集》，HCVS 2018，英国牛津，2018年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27819-26（2018）。
MSC公司：68甲15 68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）278，19--26（2018；Zbl 1525.68008）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

在没有归纳法的情况下解决归纳数据类型上的Horn子句。 （英语） Zbl 1451.68172号

理论与实践。日志。程序。 18，编号3-4，452-469（2018）; 勘误表同上，第19号，第4，629（2019）。
MSC公司：60年第68季度 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。18，编号3-4452-469（2018；兹bl 1451.68172）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

谓词配对与抽象用于关系验证。 （英语） Zbl 1508.68058号

Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 289-305 (2018).
MSC公司：68纳米30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。10855、289--305（2018年；Zbl 1508.68058）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;玛丽亚·希亚拉（Maria Chiara Meo）;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

使用约束Horn子句验证具有时间意识的业务流程。 （英语） Zbl 1485.68149号

Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 38-55 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。10184，38-55（2017；Zbl 1485.68149）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

从Horn子句验证条件中删除不必要的变量。 （英语） 兹比尔1482.68136

Gallagher，John P.（编辑）等人，《验证和合成Horn条款第三次研讨会论文集》，HCVS 2016，荷兰埃因霍温，2016年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21949-55（2016）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）219，49-55（2016；Zbl 1482.68136）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过Horn子句转换进行关系验证。 （英语） Zbl 1394.68227号

对手，Xavier（编辑），静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53412-0/pbk；978-3-562-53413-7/电子书）。计算机科学讲座笔记9837，147-169（2016）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。9837、147--169（2016年；Zbl 1394.68227）
全文： 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过线性化约束Horn子句来证明命令式程序的正确性。 （英语） Zbl 1379.68093号

理论与实践。日志。程序。 15，编号4-5，635-650（2015）.
MSC公司：68纳米30 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，理论与实践。日志。程序。15，编号4--5，635--650（2015；Zbl 1379.68093）
全文： 内政部 arXiv公司
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过转换验证条件来验证数组程序。 （英语） Zbl 1428.68182号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 182-202 (2014).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。8318，182--202（2014；Zbl 1428.68182）
全文： 内政部
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩托罗西;毛里齐奥·普罗埃蒂

通过约束逻辑程序转换验证命令式程序。 （英语） 兹比尔1464.68074

Banerjee，Anindya（编辑）等人，《语义学、抽象解释和程序推理：大卫·A·施密特六十岁生日之际的散文》，2013年9月19日至20日，美国堪萨斯州曼哈顿。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）129186-210（2013）。
MSC公司：68纳米30 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，《电子》。程序。西奥。计算。科学。（EPTCS）129186-210（2013；Zbl 1464.68074）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯;法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

用于软件模型检查的带有约束泛化的专业化。 （英语） Zbl 1394.68072号

Albert，Elvira（编辑），基于逻辑的程序合成和转换。第22届国际研讨会，2012年LOPSTR，比利时鲁汶，2012年9月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-38196-6/pbk）。计算机科学课堂讲稿7844，51-70（2013）。
MSC公司：68纳米30 68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.De Angelis}等人，Lect。注释计算。科学。7844、51-70（2013年；Zbl 1394.68072）
全文： 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼

在程序专门化期间使用真正的放松。 （英语） Zbl 1377.68062号

维达尔·格曼（编辑），基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞，2011年7月18日至20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-32210-5/pbk）。计算机科学课堂讲稿7225106-122（2012）。
MSC公司：68N17号 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。7225，106-122（2012；Zbl 1377.68062）
全文： 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩托罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼

通过专门化改进无限状态系统的可达性分析。 （英语） 兹比尔1348.68136

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学讲义6945165-179（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。6945，165--179（2011；Zbl 1348.68136）
全文： 内政部 链接
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼

验证无限状态系统的程序专门化：实验评估。 （英语） Zbl 1326.68184号

Alpunte，María（编辑），基于逻辑的程序合成和转换。2010年7月23日至25日在奥地利哈根堡举行的2010年LOPSTR第20届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20550-7/pbk）。计算机科学课堂讲稿6564，164-183（2011）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。6564、164--183（2011年；Zbl 1326.68184）
全文： 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼

通过程序转换确定全分支时间逻辑。 （英语） Zbl 1284.68413号

De Schreye，Danny（编辑），基于逻辑的程序合成和转换。第19届国际研讨会，2009年LOPSTR，2009年9月，葡萄牙科英布拉。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-12591-1/pbk）。计算机科学课堂讲稿6037，5-21（2010）。
MSC公司：60年第68季度 03B44号 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}等人，Lect。注释计算。科学。6037，5--21（2010年；Zbl 1284.68413）
全文： 内政部 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼

逻辑程序转换的自动正确性证明。 （英语） Zbl 1213.68207号

Dahl，Verónica（编辑）等人，《逻辑编程》。2007年9月8日至13日在葡萄牙波尔图举行的第23届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74608-9/pbk）。计算机科学课堂讲稿4670364-379（2007）。
MSC公司：68纳米30 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}等人，Lect。注释计算。科学。4670364--379（2007年；Zbl 1213.68207）
全文： 内政部 链接
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼

使用数组公式对参数化协议进行转换验证。 （英语） Zbl 1156.68474号

Patricia Hill（编辑），《基于逻辑的程序合成和转换》。2005年9月7日至9日，第15届国际研讨会，LOPSTR 2005，英国伦敦。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-32654-0/pbk）。计算机科学课堂讲稿390123-43（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}等人，Lect。注释计算。科学。3901、23-43（2006年；Zbl 1156.68474）
全文： 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过程序转换自动证明协议。 （英语） Zbl 1090.68067号

Dunin-Kȩplicz，Barbara（编辑）等人，《多智能体系统中的监控、安全和救援技术》。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会（MSRAS 2004）上发表了部分论文。柏林：施普林格出版社（ISBN 3-540-23245-1/pbk）。《软计算进展》，99-116（2005）。
MSC公司：60年第68季度 68T05型 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，in：多代理系统中的监视、安全和救援技术。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会（MSRAS 2004）上发表了部分论文。柏林：斯普林格。99-116（2005年；Zbl 1090.68067）
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

局部分层约束逻辑程序的转换规则。 （英语） Zbl 1080.68010号

Bruynooghe，Maurice（编辑）等人，《计算逻辑中的程序开发》。基于逻辑的程序开发的十年研究进展。柏林：施普林格出版社（ISBN 3-540-22152-2/pbk）。计算机科学课堂讲稿3049291-339（2004）。
MSC公司：68N17号 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。3049、291--339（2004；Zbl 1080.68010）
全文： 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过程序转换将逻辑程序和一元二阶逻辑结合起来。 （英语） Zbl 1278.68049号

Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664160-181（2003）。
MSC公司：68N17号 68纳米30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。2664160-181（2003年；Zbl 1278.68049）
全文： 内政部 arXiv公司
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

使用程序转换验证无限状态过程集。 （英语） Zbl 1073.68693号

Pettorossi，Alberto（编辑），基于逻辑的程序合成和转换。2001年11月28日至30日，第11届国际研讨会，LOPSTR 2001，塞浦路斯帕福斯。精选论文。柏林：施普林格出版社（ISBN 3-540-43915-3）。莱克特。注释计算。科学。2372, 111-128 (2002).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。2372111-128（2002年；Zbl 1073.68693）
全文： 链接
阿尔贝托·佩托罗西;毛里齐奥·普罗埃蒂

程序派生\（=\）规则\（+\）策略。 （英语） Zbl 1012.68033号

安东尼斯·卡卡斯（Antonis C.）等人，《计算逻辑：逻辑编程及其以外》。纪念罗伯特·科瓦尔斯基的论文。第1部分：。柏林：斯普林格。莱克特。注释计算。科学。2407, 273-309 (2002).
MSC公司：68号01 68纳米30 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}和\textit{M.Proietti}，莱克特。注释计算。科学。2407273--309（2002年；Zbl 1012.68033）
全文： 链接
阿尔贝托·佩特罗西（编辑）

基于逻辑的程序合成和转换。2001年11月28日至30日，第11届国际研讨会，LOPSTR 2001，塞浦路斯帕福斯。精选论文。 （英语） Zbl 0992.00050号

计算机科学课堂讲稿. 2372. 柏林：斯普林格。viii，第267页（2002年）。
MSC公司：00B25型 68-06 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}（编辑），基于逻辑的程序合成和转换。2001年11月28日至30日在塞浦路斯帕福斯举行的第11届国际研讨会，LOPSTR 2001。精选论文。柏林：施普林格出版社（2002；Zbl 0992.00050）
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂

通过展开/折叠变换进行完美的模型检查。 （英语） Zbl 0983.68041号

Lloyd，John（编辑）等人，《计算逻辑-CL 2000》。第一届国际会议，英国伦敦，2000年7月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1861, 613-628 (2000).
MSC公司：68纳米30 68N17号 68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pettorosi}和\textit{M.Proietti}，莱克特。注释计算。科学。1861363-628（2000年；兹bl 0983.68041）
毛里齐奥·普罗埃蒂;阿尔贝托·佩特罗西

按此顺序展开定义折叠，以避免逻辑程序中不必要的变量。 （英语） Zbl 0789.68019号

Maluszyñski，Jan（编辑）等人，《编程语言实现和逻辑编程》。1991年8月26日至28日，第三届国际研讨会，PLILP’91，德国帕绍。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。528, 347-358 (1991).
MSC公司：68N17号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Proietti}和\textit{A.Pettorosi}，莱克特。注释计算。科学。528347-358（1991年；Zbl 0789.68019）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件