@文章{DBLP:journals/corr/abs-2403-15122，作者={Sacha{-}{\'{E}}lie Ayoun和泽维尔·丹尼斯和彼得·马克西莫维奇和菲利普·加德纳}，title={半自动锈蚀验证的混合方法}，日志={CoRR}，体积＝{abs/24031122}，年份={2024}，url={https://doi.org/10.48550/arXiv.2403.15122},doi={10.48550/ARXIV.2403.15122}，eprinttype={arXiv}，eprint={2403.15122}，timestamp={2024年4月9日星期二01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-2403-15122.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/pacmpl/RaoGLWPGB23，author={肖家饶和阿林·乔治斯和Maxime Legoupil和康拉德·瓦特和让·皮尚（Jean Pichon）{-}法拉博德和菲利普·加德纳和Lars Birkedal}，title={Iris-Wasm:WebAssembly程序的健壮和模块化验证}，日志={Proc.{ACM}程序。语言}，体积＝{7}，数字={{PLDI}}，页数={1096--1120}，年份={2023}，url={https://doi.org/10.1145/3591265},doi={10.1145/3591265}，timestamp={2023年8月28日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/pacmpl/RaoGLWPGB23.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/debeat/KarmiosAG23，author={Nat Karmios和萨查{-}{\'{E}}是阿永和菲利普·加德纳}，editor={Elisa Gonzalez Boix和Christophe Scholliers}，title={使用Gillian进行符号调试}，booktitle={第一届{ACM}未来调试国际研讨会会议记录Techniques，{DEBT}2023，美国华盛顿州西雅图，2023年7月17日}，页数={1--2}，发布者＝｛｛ACM｝｝，年份={2023}，url={https://doi.org/10.1145/3605155.3605861},doi={10.1145/3605155.3605861}，timestamp={星期六，2023年9月30日01:00:00+0200}，biburl={https://dblp.org/rec/conf/debt/KarmiosAG23.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/ecop/MaksimovicCLSG23，author={Petar Maksimovic和卡罗琳·克朗吉和安德烈亚斯·L{\“{o}}{\”{o}{w和朱利安·萨瑟兰和菲利普·加德纳}，editor={Karim Ali和Guido Salvaneschi}，title={精确分离逻辑：缩小验证之间的差距和Bug-Finding}，booktitle={第37届欧洲面向对象编程会议，{ECOOP}2023，2023年7月17日至21日，美国华盛顿州西雅图}，系列={LIPIcs}，体积={263}，页数={19:1--19:27}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2023}，url={https://doi.org/10.4230/LIPIcs.ECOOP.2023.19},doi={10.4230/LIPICS.ECOOP.2023.19}，timestamp={2023年7月11日星期二16:52:08+0200}，biburl={https://dblp.org/rec/conf/ecop/MaksimovicCLSG23.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-2311-07223，author={Joachim Breitner和菲利普·加德纳和Jaehyun Lee和萨姆·林德利和Matija Pretnar和肖家饶和安德烈亚斯·罗斯伯格和Sukyoung Ryu和Wonho Shin和康拉德·瓦特和董俊英}，title={Wasm SpecTec:设计正式语言标准}，日志={CoRR}，体积＝{abs/23101107223}，年份={2023}，url={https://doi.org/10.48550/arXiv.2311.07223},doi={10.48550/ARXIV.2311.07223}，eprinttype={arXiv}，eprint={2311.07223}，timestamp={2023年11月15日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-2311-07223.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/conver/Gardner22，作者={菲利普·加德纳}，editor={Bartek Klin和斯拉沃米尔·拉索塔和安卡·穆斯科尔}，title={并发分离逻辑：逻辑抽象，逻辑原子性和环境生活条件（邀请谈话）}，booktitle＝{第33届并发理论国际会议，{CONCUR}2022，2022年9月12日至16日，波兰华沙}，系列={LIPIcs}，体积={243}，页数={2:1--2:1}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2022}，url={https://doi.org/10.4230/LIPIcs.CONCUR.2022.2},doi={10.4230/LIPICS.CONCUR.2022.2}，timestamp={2022年9月26日星期一16:25:34+0200}，biburl={https://dblp.org/rec/conf/concor/Gardner22.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-2208-07200，author={Petar Maksimovic和卡罗琳·克朗吉和朱利安·萨瑟兰和安德烈亚斯·L{\“{o}}{\”{o}{w和萨查{-}{\'{E}}是阿永和菲利普·加德纳}，title={精确分离逻辑}，日志={CoRR}，体积={abs/2208.07200}，年份={2022}，url={https://doi.org/10.48550/arXiv.2208.07200},doi={10.48550/ARXIV.2208.07200}，eprinttype={arXiv}，eprint={2208.07200}，timestamp={2022年8月17日星期三01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-2208-07200.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/toplas/DOsualdoSFG21，author={Emanuele D'Osualdo和朱利安·萨瑟兰和阿扎德·法尔赞和菲利普·加德纳}，title={TaDA Live：细粒度终止的合成推理并发程序}，日志={{ACM}事务。程序。语言系统}，体积={43}，数字={4}，页数={16:1--16:134}，年份={2021}，url={https://doi.org/10.1145/3477082},doi={10.1145/3477082}，timestamp={2021年12月15日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/toplas/DOsualdoSFG21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/cav/MaksimovicASG20，author={Petar Maksimovic和萨查{-}{\'{E}}是阿永和乔斯·弗拉戈索·桑托斯和菲利普·加德纳}，editor={Alexandra Silva和K.Rustan M.Leino}，title={Gillian，第{II:}部分JavaScript和{C}}的现实世界验证，booktitle={计算机辅助验证-第33届国际会议，{CAV}2021年，虚拟事件，2021年7月20日至23日，会议记录，第{II}}部分，series={计算机科学讲稿}，体积={12760}，pages＝{827-850}，publisher={Springer}，年份={2021}，url={https://doi.org/10.1007/978-3-030-81688-9\_38},doi={10.1007/978-3-030-81688-9\38}，timestamp={2021年7月23日星期五16:41:31+0200}，biburl={https://dblp.org/rec/conf/cav/MaksimovicASG20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/fm/WattRPBG21，author={Conrad Watt和肖家饶和让·皮尚（Jean Pichon）{-}法拉博德和马丁·博丹和菲利普·加德纳}，editor={玛丽克·赫斯曼和Corina S.Pasareanu和Naijun Zhan，title={两种WebAssembly机械化1.0}，booktitle={形式方法-第24届国际研讨会，{FM}2021，虚拟事件，2021年11月20日至26日，诉讼}，series={计算机科学讲稿}，体积={13047}，页数={61--79}，publisher={Springer}，年份={2021}，url={https://doi.org/10.1007/978-3-030-90870-6\_4},doi={10.1007/978-3-030-90870-6\4}，时间戳＝{2023年3月21日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/fm/WattRPBG21.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-2105-14769，author={Petar Maksimovic和乔斯·弗拉戈索·桑托斯和萨查{-}{\'{E}}是阿永和菲利普·加德纳}，title={Gillian:{A}统一符号分析的多语言平台}，日志={CoRR}，体积={abs/2105.14769}，年份={2021}，url={https://arxiv.org/abs/2105.14769},eprinttype={arXiv}，eprint={2105.14769}，时间戳＝｛2021年6月2日星期三01:00:00+0200｝，biburl={https://dblp.org/rec/journals/corr/abs-2105-14769.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/darts/SampaioSMG20，author={加布里埃拉·桑帕约和乔斯·弗拉戈索·桑托斯和彼得·马克西莫维奇和菲利普·加德纳}，title={事件驱动Web符号分析的可信基础结构应用程序（工件）}，journal={Dagstuhl Artifacts Ser.}，体积={6}，数字={2}，pages＝{05:1--05:3}，年份={2020年}，url={https://doi.org/10.4230/DARTS.6.2.5},doi={10.4230/DARTS.6.2.5}，timestamp={2020年11月6日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/darts/SampaioSMG20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ecoop/XiongCRG19，author={Shale Xiong和安德烈亚·塞隆和杜鹃花和菲利普·加德纳}，editor={Robert Hirschfeld和托拜厄斯·佩普}，title={事务存储系统中的数据一致性：{A}集中语义}，booktitle={第34届欧洲面向对象编程会议，{ECOOP}2020，2020年11月15-17日，德国柏林（虚拟会议）}，系列={LIPIcs}，体积={166}，页数={21:1--21:31}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2020年}，url={https://doi.org/10.4230/LIPIcs.ECOOP.2020.21},doi={10.4230/LIPICS.ECOOP.2020.21}，timestamp={2020年12月21日星期一13:23:22+0100}，biburl={https://dblp.org/rec/conf/ecop/Xiong CRG19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ecoop/SampaioSMG19，author={加布里埃拉·桑帕约和乔斯·弗拉戈索·桑托斯和彼得·马克西莫维奇和菲利普·加德纳}，editor={Robert Hirschfeld和托拜厄斯·佩普}，title={事件驱动Web符号分析的可信基础结构应用程序}，booktitle={第34届欧洲面向对象编程会议，{ECOOP}2020，2020年11月15-17日，德国柏林（虚拟会议）}，系列={LIPIcs}，体积={166}，页码＝{28:1-28:29}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2020年}，url={https://doi.org/10.4230/LIPIcs.ECOOP.2020.28},doi={10.4230/LIPICS.ECOOP.2020.28}，timestamp={2020年11月16日星期一00:00:00+0100}，biburl={https://dblp.org/rec/conf/ecop/SampaioSMG19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/pldi/SantosMAG20，author={Jos{\'{e}}Fragoso Santos和彼得·马克西莫维奇和萨查{-}{\'{E}}是阿永和菲利普·加德纳}，editor={Alastair F.Donaldson和Emina Torlak}，title={Gillian，第一部分：符号执行的多语言平台}，booktitle={第41届{ACM}{SIGPLAN}国际会议记录编程语言设计与实现，{PLDI}2020，伦敦，英国，2020年6月15日至20日}，页数={927--942}，发布者＝｛｛ACM｝｝，年份={2020年}，url={https://doi.org/10.1145/3385412.3386014},doi={10.1145/3385412.3386014}，timestamp={2020年6月9日星期二13:45:15+0200}，biburl={https://dblp.org/rec/conf/pldi/SantosMAG20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-2001-05059，author={Jos{\'{e}}Fragoso Santos和彼得·马克西莫维奇和萨查{-}{\'{E}}是阿永和菲利普·加德纳}，title={Gillian：所有人的合成符号执行}，日志={CoRR}，体积={abs/2001.05059}，年份={2020年}，url={https://arxiv.org/abs/2001.05059},eprinttype={arXiv}，eprint={2001.05059}，timestamp={星期六，2021年1月23日00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-2001-05059.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/pacmpl/BodinGJS19，作者=｛Martin Bodin和菲利普·加德纳和托马斯·詹森和Alan Schmitt}，title={骨骼语义及其解释}，日志={Proc.{ACM}程序。语言}，体积={3}，数字={{POPL}}，页码={44:1--44:31}，年份={2019}，url={https://doi.org/10.1145/3290357},doi＝{10.1145/3290357}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/pacmpl/BodinGJS19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/pacmpl/SantosMSG19，author={Jos{\'{e}}Fragoso Santos和彼得·马克西莫维奇和加布里埃拉·桑帕约和菲利普·加德纳}，title={JaVerT 2.0:JavaScript}的组合符号执行，日志={Proc.{ACM}程序。语言}，体积={3}，数字={{POPL}}，页码={66:1--66:31}，年份={2019}，url={https://doi.org/10.1145/3290379},doi＝{10.1145/3290379}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/pacmpl/SantosMSG19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ecoop/WattMKG19，author={Conrad Watt和彼得·马克西莫维奇和Neelakantan R.Krishnaswami和菲利普·加德纳}，editor={阿拉斯泰尔·唐纳森}，title={一阶封装WebAssembly}的程序逻辑，booktitle={第33届面向对象编程欧洲会议，{ECOOP}2019，2019年7月15日至19日，英国伦敦}，系列={LIPIcs}，体积={134}，页数={9:1--9:30}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份={2019}，url={https://doi.org/10.4230/LIPIcs.ECOOP.2019.9},doi={10.4230/LIPICS.ECOOP.2019.9}，timestamp={2020年10月25日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/ecop/WattMKG19.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1901-05750，author={Emanuele D'Osualdo和阿扎德·法尔赞和菲利普·加德纳和朱利安·萨瑟兰（Julian Sutherland），title={TaDA Live：细粒度终止的合成推理并发程序}，日志={CoRR}，体积={abs/1901.05750}，年份={2019}，url={http://arxiv.org/abs/1901.05750},eprinttype={arXiv}，eprint={1901.05750}，timestamp={2019年2月1日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-1901-05750.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1901-10615，author={Shale Xiong和安德烈亚·塞隆和杜鹃花和菲利普·加德纳}，title={事务存储系统中的数据一致性：集中方法}，日志={CoRR}，体积={abs/1901.10615}，年份={2019}，url={http://arxiv.org/abs/1990.10615},eprinttype={arXiv}，eprint={1901.10615}，timestamp={2019年2月3日星期日00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-1901-10615.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jlp/Dinsdale-YoungP18，author={托马斯·丁斯代尔{-}年轻和佩德罗·达·罗查·平托和菲利普·加德纳}，title={指定和验证并发模块的透视图}，journal={J.Log.代数方法程序}，体积={98}，页数＝{1-25}，年份＝{2018}，url={https://doi.org/10.1016/j.jlamp.2018.03.003},doi={10.1016/J.JLAMP.2018.03.003}，timestamp={星期六，2020年2月22日00:00:00+0100}，biburl={https://dblp.org/rec/journals/jlp/Dinsdale-YoungP18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/pacmpl/SantosMNWG18，author={Jos{\'{e}}Fragoso Santos和彼得·马克西莫维奇和Daiva Naudziuniene和托马斯·伍德和菲利普·加德纳}，title={JaVerT:JavaScript验证工具链}，日志={Proc.{ACM}程序。语言}，体积={2}，数字={{POPL}}，页数={50:1--50:33}，年份＝{2018}，url={https://doi.org/10.1145/3158138},doi={10.1145/3158138}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/pacmpl/SantosMNWG18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ecoop/NtzikPSG18，author={Gian Ntzik和佩德罗·达·罗查·平托和朱利安·萨瑟兰和菲利普·加德纳}，编辑={托德·米尔斯坦}，title={{POSIX}文件系统的并发规范}，booktitle={第32届欧洲面向对象编程会议，{ECOOP}2018，2018年7月16日至21日，荷兰阿姆斯特丹，系列={LIPIcs}，体积={109}，页数={4:1--4:28}，publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}，年份＝{2018}，url={https://doi.org/10.4230/LIPIcs.ECOOP.2018.4},doi={10.4230/LIPICS.ECOOP.2018.4}，timestamp={2020年2月11日星期二15:52:14+0100}，biburl={https://dblp.org/rec/conf/ecop/NtzikPSG18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ppdp/Gardner18，作者={菲利普·加德纳}，editor={David Sabel和彼得·蒂曼（Peter Thiemann），title={JaVerT:JavaScript验证和测试框架：邀请谈话}，booktitle={第20届国际原理与技术研讨会论文集声明式编程实践，｛PPDP｝2018，美因河畔法兰克福，德国，2018年9月3日至5日}，页数={1:1--1:4}，发布者＝｛｛ACM｝｝，年份＝{2018}，url={https://doi.org/10.1145/3236950.3236974},doi＝{10.1145/32366950.3236974}，timestamp={2020年3月23日星期一12:22:51+0100}，biburl={https://dblp.org/rec/conf/ppdp/Gardner18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ppdp/SantosMGDG18，author={Jos{\'{e}}Fragoso Santos和彼得·马克西莫维奇和奥蒂姆格罗恩斯和朱利安·杜比和菲利普·加德纳}，editor={David Sabel和彼得·蒂曼（Peter Thiemann），title={JavaScript的符号执行}，booktitle={第20届国际原理与技术研讨会论文集声明式编程实践，｛PPDP｝2018，美因河畔法兰克福，德国，2018年9月3日至5日}，页数={11:1--11:14}，发布者＝｛｛ACM｝｝，年份＝{2018}，url={https://doi.org/10.1145/3236950.3236956},doi={10.1145/3236950.3236956}，timestamp={2021年10月14日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/ppdp/SantosMGDG18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1809-09749，作者=｛Martin Bodin和菲利普·加德纳和托马斯·詹森和Alan Schmitt}，title={骨架语义及其解释}，日志={CoRR}，体积={abs/1809.09749}，年份＝{2018}，url={http://arxiv.org/abs/1809.09749},eprinttype={arXiv}，eprint={1809.09749}，时间戳＝{2020年2月17日星期一00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-1809-09749.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1811-03479，author={Conrad Watt和彼得·马克西莫维奇和Neelakantan R.Krishnaswami和菲利普·加德纳}，title={一阶封装WebAssembly}的程序逻辑，日志={CoRR}，体积={abs/1811.03479}，年份＝{2018}，url={http://arxiv.org/abs/1811.03479},eprinttype={arXiv}，eprint={1811.03479}，timestamp={星期六，2021年1月23日00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-1811-03479.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/cade/SantosGMN17，author={Jos{\'{e}}Fragoso Santos和菲利普·加德纳和彼得·马克西莫维奇和Daiva Naudziuniene}，editor={Leonardo de Moura}，title={面向JavaScript程序的基于逻辑的验证}，booktitle＝｛自动扣款-｛CADE｝26-关于自动扣除，瑞典哥德堡，2017年8月6日至11日，诉讼}，series={计算机科学讲稿}，体积={10395}，页数={8--25}，publisher={Springer}，年份={2017年}，url={https://doi.org/10.1007/978-3-319-63046-5\_2} ，doi={10.1007/978-3-319-63046-5\_2}，timestamp={2022年9月29日星期四08:36:56+0200}，biburl={https://dblp.org/rec/conf/cade/SantosGMN17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/esop/Xiong PNG17，author={Shale Xiong和佩德罗·达·罗查·平托和Gian Ntzik和菲利普·加德纳}，editor={Hongseok Yang}，title＝{并发映射的抽象规范}，booktitle={编程语言和系统-第26届欧洲编程研讨会，{ESOP}2017，作为欧洲理论联合会议的一部分举行《软件实践》，｛ETAPS｝2017，瑞典乌普萨拉，4月22日至29日，2017年，会议记录}，series={计算机科学讲稿}，体积={10201}，页数={964--990}，publisher={Springer}，年份={2017年}，url={https://doi.org/10.1007/978-3-662-54434-1\_36},doi={10.1007/978-3-662-54434-1\36}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/esop/Xiong PNG17.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aplas/RaadHVG16，author={杜鹃和阿奎那·霍伯和朱尔斯·维拉德和菲利普·加德纳}，editor={Atsushi Igarashi}，title={验证并发图算法}，booktitle={编程语言和系统-第14届亚洲研讨会，{APLAS}2016年，越南河内，2016年11月21日至23日，诉讼}，series={计算机科学讲稿}，体积={10017}，页数={314--334}，年份={2016年}，url={https://doi.org/10.1007/978-3-319-47958-3\_17},doi={10.1007/978-3-319-47958-3\_17}，timestamp={2022年10月2日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/aplas/RaadHVG16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aplas/RaadSG16，author={杜鹃和乔斯·弗拉戈索·桑托斯和菲利普·加德纳}，editor={Atsushi Igarashi}，title＝{｛DOM:｝规范和客户端推理}，booktitle={编程语言和系统-第14届亚洲研讨会，{APLAS}2016年，越南河内，2016年11月21日至23日，诉讼}，series={计算机科学讲稿}，体积={10017}，页数={401--422}，年份={2016年}，url={https://doi.org/10.1007/978-3-319-47958-3\_21},doi={10.1007/978-3-319-47958-3\_21}，timestamp={2018年11月2日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/aplas/RaadSG16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程{DBLP:conf/esop/PintoDGS16，作者={佩德罗·达·罗查·平托和托马斯·丁斯代尔{-}年轻和菲利普·加德纳和朱利安·萨瑟兰（Julian Sutherland），editor={彼得·蒂曼}，title={非阻塞并发的模块化终端验证}，booktitle={编程语言和系统-第25届欧洲编程研讨会，{ESOP}2016，作为欧洲理论联合会议的一部分举行《软件实践》，{ETAPS}2016，荷兰埃因霍温，2016年4月2日至8日，会议记录}，series={计算机科学讲稿}，体积={9632}，页数={176--201}，publisher={Springer}，年份={2016年}，url={https://doi.org/10.1007/978-3-662-49498-1\_8},doi={10.1007/978-3662-49498-1\8}，timestamp={2020年3月23日星期一12:22:51+0100}，biburl={https://dblp.org/rec/conf/esop/PintoDGS16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aplas/NtzikPG15，author={Gian Ntzik和佩德罗·达·罗查·平托和菲利普·加德纳}，editor={冯新宇和Sungwoo公园}，title={容错资源推理}，booktitle={编程语言和系统-第13届亚洲研讨会，{APLAS}2015年11月30日至12月2日，韩国浦项，Proceedings}，series={计算机科学讲稿}，体积={9458}，页数={169--188}，publisher={Springer}，年份={2015年}，url={https://doi.org/10.1007/978-3-319-26529-2\_10},doi={10.1007/978-3-319-26529-2\_10}，时间戳＝{2022年3月4日星期五17:35+0100}，biburl={https://dblp.org/rec/conf/aplas/NtzikPG15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/cav/GardnerSWW15，author={Philippa Gardner和加雷思·史密斯和康拉德·瓦特和托马斯·伍德}，editor={Daniel Kroening和Corina S.Pasareanu}，title={JavaScript可信的机械化规范：一年后}，booktitle＝｛计算机辅助验证-第27届国际会议，｛CAV｝2015年7月18日至24日，加利福尼亚州旧金山，美国，诉讼，第部分{一} }、，series={计算机科学讲稿}，体积={9206}，页数＝{3-10}，publisher={Springer}，年份={2015年}，url={https://doi.org/10.1007/978-3-319-21690-4\_1},doi={10.1007/978-3-319-21690-4\_1}，时间戳={2020年3月27日星期五08:45:57+0100}，biburl={https://dblp.org/rec/conf/cav/GardnerSWW15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/esop/RaadVG15，author={杜鹃和朱尔斯·维拉德和菲利普·加德纳}，editor={Jan Vitek}，title={CoLoSL:并发局部主观性逻辑}，booktitle={编程语言和系统-第24届欧洲编程研讨会，{ESOP}2015，作为欧洲理论联合会议的一部分举行《软件实践》，2015年{ETAPS}，英国伦敦，2015年4月11日至18日。诉讼}，series={计算机科学讲稿}，体积={9032}，页数={710--735}，publisher={Springer}，年份={2015年}，url={https://doi.org/10.1007/978-3-662-46669-8\_29},doi={10.1007/978-3-662-46669-8\_29}，timestamp={2022年10月2日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/esop/RaadVG15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/oopsla/NtzikG15，author={Gian Ntzik和菲利普·加德纳}，编辑={乔纳森·奥尔德里奇和Patrick Eugster}，title={关于{POSIX}文件系统的推理：本地更新和全局路径名}，booktitle={2015年{ACM}{SIGPLAN}国际会议记录面向对象编程、系统、语言和应用，{OOPSLA}2015，{SPLASH}2015的一部分，美国宾夕法尼亚州匹兹堡，10月25-30, 2015},页面＝{201-220}，发布者＝｛｛ACM｝｝，年份={2015年}，url={https://doi.org/10.1145/2814270.2814306},doi={10.1145/2814270.2814306}，timestamp={2021年6月23日星期三16:58:51+0200}，biburl={https://dblp.org/rec/conf/oopsla/NtzikG15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日志/entcs/PintoDG15，作者={佩德罗·达·罗查·平托和托马斯·丁斯代尔{-}年轻和菲利普·加德纳}，编辑={Dan R.Ghica}，title={并行模块的模块化规范步骤（受邀教程纸）}，booktitle={第31届程序设计数学基础会议Semantics，{MFPS}2015，荷兰奈梅亨，2015年6月22日至25日}，series={理论计算机科学电子笔记}，体积={319}，页数={3--18}，publisher＝{爱思唯尔}，年份={2015年}，url={https://doi.org/10.1016/j.entcs.2015.12.002},doi={10.1016/J.ENTCS.2015.12.002}，timestamp={2022年8月16日星期二01:00:00+0200}，biburl={https://dblp.org/rec/journals/entcs/PintoDG15.6ib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/dagstuhl-reports/BirkedalDGS15，author={Lars Birkedal和德里克·德雷尔和菲利普·加德纳和钟绍}，title={下一代并发的组合验证方法（达格斯图尔研讨会15191）}，日志={Dagstuhl报告}，体积={5}，数字={5}，页数={1--23}，年份={2015年}，url={https://doi.org/10.4230/DagRep.5.5.1},doi={10.4230/DAGREP.5.5.1}，timestamp={2021年10月14日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/dagstuhl-reports/BirkedalDGS15.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ecoop/PintoDG14，作者={佩德罗·达·罗查·平托和托马斯·丁斯代尔{-}年轻和菲利普·加德纳}，editor={理查德·琼斯}，title={TaDA:{A}时间和数据抽象逻辑}，booktitle={{ECOOP}2014-面向对象编程-第28届欧洲会议，2014年7月28日至8月1日，瑞典乌普萨拉。诉讼}，series={计算机科学讲稿}，体积＝{8586}，页数={207--231}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-662-44202-9\_9},doi={10.1007/978-3-662-44202-9}，timestamp={2019年5月14日星期二10:00:54+0200}，biburl={https://dblp.org/rec/conf/ecop/PintoDG14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/esop/GardnerNW14，author={Philippa Gardner和Gian Ntzik和亚当·赖特，editor={钟绍}，title={POSIX}文件系统的本地推理}，booktitle＝{编程语言和系统-第23届欧洲编程研讨会，{ESOP}2014，作为欧洲理论联合会议的一部分举行《软件实践》，{ETAPS}2014，法国格勒诺布尔，4月5日至13日，2014年，会议记录}，series={计算机科学讲稿}，体积={8410}，页数={169--188}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-642-54833-8\_10},doi={10.1007/978-3-642-54833-8\_10}，timestamp={2021年10月14日星期四10:31:33+0200}，biburl={https://dblp.org/rec/conf/esop/GardnerNW14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/popl/BodinCFGMNSS14，作者=｛Martin Bodin和亚瑟·查尔古和Daniele Filaretti和菲利普·加德纳和Sergio Maffeis和Daiva Naudziuniene和Alan Schmitt和加雷思·史密斯}，editor={Suresh Jagannathan和彼得·苏厄尔}，title={可信的机械化JavaScript规范}，booktitle={第41届年度{ACM}{SIGPLAN-SIGACT}原则研讨会编程语言，2014年{POPL}，美国加利福尼亚州圣地亚哥，1月20日至21日，2014},页数={87--100}，发布者＝｛｛ACM｝｝，年份={2014}，url={https://doi.org/10.1145/2535838.2535876},doi={10.1145/2535838.2535876}，时间戳＝{2023年2月12日星期日00:00:00+0100}，biburl={https://dblp.org/rec/conf/popl/BodinCFGMNSS14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/GardnerRWW14，author={Philippa Gardner和杜鹃花和Mark J.Wheelhouse和亚当·赖特，editor={Bart Jacobs和亚历山大·席尔瓦和萨姆·斯塔顿}，title={并发库的抽象局部推理：注意差距}，booktitle={第30届数学基础会议记录编程语义，{MFPS}2014，美国纽约州伊萨卡，6月12-15日，2014},series={理论计算机科学电子笔记}，体积={308}，页数={147--166}，publisher＝{爱思唯尔}，年份={2014}，url={https://doi.org/10.1016/j.entcs.2014.10.009},doi={10.1016/J.ENTCS.2014.10.009}，timestamp={2022年8月16日星期二01:00:00+0200}，biburl={https://dblp.org/rec/journals/entcs/GardnerRWW14.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/popl/Dinsdale-YoungBGPY13，author={托马斯·丁斯代尔{-}年轻和Lars Birkedal和菲利普·加德纳和马修·帕金森和杨洪石}，editor={Roberto Giacobazzi和拉迪亚·库索特}，title={Views:并发程序的组合推理}，booktitle={第40届年度{ACM}{SIGPLAN-SIGACT}原理研讨会编程语言，{POPL}'13，罗马，意大利-1月23日至25日，2013},页数={287--300}，发布者＝｛｛ACM｝｝，年份={2013}，url={https://doi.org/10.1145/2429069.2429104},doi={10.1145/2429069.2429104}，timestamp={星期六，2021年7月31日01:00:00+0200}，biburl={https://dblp.org/rec/conf/popl/Dinsdale-YoungBGPY13.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@会议记录{DBLP:conf/esop/2013，editor={Matthias Felleisen和菲利普·加德纳}，title={编程语言和系统-第22届欧洲编程研讨会，{ESOP}2013，作为欧洲理论联合会议的一部分举行《软件实践》，{ETAPS}2013，意大利罗马，3月16日至24日，2013.诉讼程序}，series={计算机科学讲稿}，体积={7792}，publisher={Springer}，年份={2013}，url={https://doi.org/10.1007/978-3-642-37036-6},doi={10.1007/978-3-642-37036-6}，isbn={978-3-642-37035-9}，时间戳={2019年5月14日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/esop/2013.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/CardelliG12，author={Luca Cardelli和菲利普·加德纳}，title={空间中的进程}，日志={Theor.Comput.Sci.}，体积={431}，页数={40--55}，年份={2012}，url={https://doi.org/10.1016/j.tcs.2011.12.051},doi={10.1016/J.TCS.2011.12.051}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/CardelliG12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/popl/GardnerMS12，author={Philippa Gardner和Sergio Maffeis和加雷思·大卫·史密斯}，editor={John Field和迈克尔·希克斯}，title={朝向JavaScript}的程序逻辑，booktitle={第39届{ACM}{SIGPLAN-SIGACT}原理研讨会论文集编程语言，{POPL}2012，宾夕法尼亚州费城，美国，2012年1月22日至28日}，页数={31--44}，发布者＝｛｛ACM｝｝，年份={2012}，url={https://doi.org/10.1145/203656.2103663},doi={10.1145/2103656.2103663}，时间戳＝{2023年2月12日星期日00:00:00+0100}，biburl={https://dblp.org/rec/conf/popl/GardnerMS12.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/calco/Dinsdale-YoungGW11，author={托马斯·丁斯代尔{-}年轻和菲利普·加德纳和Mark J.Wheelhouse公司}，editor={Andrea Corradini和Bartek Klin和科琳娜C{^{i}}rstea}，title={程序模块的抽象局部推理}，booktitle={计算机科学中的代数和余代数-第四届国际会议，{CALCO}2011，英国温彻斯特，2011年8月30日至9月2日。诉讼}，series={计算机科学讲稿}，体积={6859}，页码＝{36-39}，publisher={Springer}，年份={2011}，url={https://doi.org/10.1007/978-3-642-22944-2\_3},doi={10.1007/978-3-642-22944-2\3}，时间戳={2021年4月9日星期五18:48:00+0200}，biburl={https://dblp.org/rec/conf/calco/Dinsdale-YoungGW11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/oopsla/PintoDDGW11，作者={佩德罗·达·罗查·平托和托马斯·丁斯代尔{-}年轻和Mike Dodds和菲利普·加德纳和Mark J.Wheelhouse公司}，编辑＝{克里斯蒂娜·维迪拉·洛佩斯和凯瑟琳·费舍尔}，title={复杂并发索引的简单抽象}，booktitle={第26届面向对象{ACM}{SIGPLAN}年会论文集《编程、系统、语言和应用》，｛OOPSLA｝2011，2011年10月22日至27日，美国俄勒冈州波特兰市，{SPLASH}2011的一部分，页码={845--864}，发布者＝｛｛ACM｝｝，年份={2011}，url={https://doi.org/10.1145/2048066.2048131},doi={10.1145/2048066.2048131}，timestamp={2021年6月24日星期四16:19:30+0200}，biburl={https://dblp.org/rec/conf/oopsla/PintoDDGW11.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/iandc/CalcagnoDG10，author={克里斯蒂亚诺·卡尔卡尼奥和托马斯·丁斯代尔{-}年轻和菲利普·加德纳}，title={树的上下文逻辑中的附加消除}，日志={Inf.Comput.}，体积={208}，数字={5}，页数={474--499}，年份={2010}，url={https://doi.org/10.1016/j.ic.2009.02.013},doi={10.1016/J.IC.2009.02.013}，timestamp={2021年2月12日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/iandc/CalcagnoDG10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/sigmod/BenediktFGGMW10，author={Michael Benedikt和Daniela Florescu和菲利普·加德纳和乔瓦娜·格雷尼和马可·梅西蒂和Emmanuel Waller}，title＝{关于{EDBT/ICDT}2010关于{XML}更新的研讨会的报告}，日志={{SIGMOD}记录}，体积={39}，数字={1}，页数={54--57}，年份={2010}，url={https://doi.org/10.1145/1860702.1860713},doi={10.1145/1860702.1860713}，timestamp={2020年3月6日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/sigmod/BenediktFGGMW10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/cie/CardelliG10，author={Luca Cardelli和菲利普·加德纳}，编辑＝{费尔南多·费雷拉和Benedikt L{\“{o}}我们和埃尔维拉·马约多莫和卢斯·门德斯·戈梅斯，title＝{空间中的过程}，booktitle={程序、证明、过程，第六届欧洲可计算性会议，2010年6月30日至7月4日，葡萄牙亚速尔群岛德尔加达桥，CiE 2010。诉讼}，series={计算机科学讲稿}，体积={6158}，页数={78--87}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-13962-8\_9},doi={10.1007/978-3-642-13962-8\_9}，timestamp={2024年5月7日星期二20:13:36+0200}，biburl={https://dblp.org/rec/conf/cie/CardelliG10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ecop/Dinsdale-YoungDGPV10，author={托马斯·丁斯代尔{-}年轻和Mike Dodds和菲利普·加德纳和马修·帕金森和维克托·瓦菲亚迪斯}，editor={Theo D'Hondt}，title={并发抽象谓词}，booktitle={{ECOOP}2010-面向对象编程，第24届欧洲会议，2010年6月21日至25日，斯洛文尼亚马里博尔。诉讼}，series={计算机科学讲稿}，体积={6183}，页码={504--528}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-14107-2\_24},doi={10.1007/978-3-642-14107-2\_24}，timestamp={2019年5月14日星期二10:00:54+0200}，biburl={https://dblp.org/rec/conf/ecop/Dinsdale-YoungDGPV10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/edbtw/Gardner10，作者={菲利普·加德纳}，editor={Florian Daniel和Lois M.L.Delcambre和Farshad Fotouhi和Irene Garrig{\'{o}}s和乔瓦娜·格雷尼和约瑟{-}诺贝托迷宫和马可·梅西蒂和Sascha M｛\“｛u｝ller和Juan Trujillo和Traian Marius Truta和伯恩哈德·沃尔兹和Emmanuel Waller和李雄和埃斯特班·齐姆（Esteban Zim），title={关于客户端web程序的推理：邀请谈话}，booktitle={2010年{EDBT/ICDT}研讨会会议记录，瑞士洛桑，2010年3月22日至26日}，series={{ACM}国际会议论文集}，发布者＝｛｛ACM｝｝，年份={2010}，url={https://doi.org/10.1145/1754239.1754261},doi={10.1145/1754239.1754261}，timestamp={2021年6月9日星期三08:38:35+0200}，biburl={https://dblp.org/rec/conf/edbtw/Gardner10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/vstte/Dinsdale-YoungGW10，author={托马斯·丁斯代尔{-}年轻和菲利普·加德纳和Mark J.Wheelhouse公司}，editor={加里·T·利文斯和Peter W.O'Hearn和Sriram K.Rajamani}，title={局部推理的抽象和精化}，booktitle={验证软件：理论、工具、实验、第三国际2010年8月16日至19日，英国爱丁堡，2010年{VSTTE}会议。诉讼}，series={计算机科学讲稿}，体积＝{6217}，页数={199--215}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-15057-9\_14},doi={10.1007/978-3642-15057-9\_14}，timestamp={2019年5月14日星期二10:00:49+0200}，biburl={https://dblp.org/rec/conf/vstte/Dinsdale-YoungGW10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-0903-1032，author={Mohammad Raza和菲利普·加德纳}，title={局部推理中的足迹}，journal={Log.Methods计算科学}，体积={5}，数字={2}，年份={2009}，url={http://arxiv.org/abs/0903.1032},timestamp={2020年6月25日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-0903-1032.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/CardelliCGKP09，author={Luca Cardelli和Emmanuelle Caron和菲利普·加德纳和Ozan Kahramanogullari和安德鲁·菲利普斯}，title={Rho-GTP结合蛋白的过程模型}，日志={Theor.Comput.Sci.}，体积={410}，数字＝{33-34}，页数={3166--3185}，年份={2009}，url={https://doi.org/10.1016/j.tcs.2009.04.029},doi={10.1016/J.TCS.2009.04.029}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/CardelliCGKP09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/esop/RazaCG09，author={Mohammad Raza和克里斯蒂亚诺·卡尔卡尼奥和菲利普·加德纳}，编辑器＝{朱塞佩·卡斯塔尼亚}，title={使用分离逻辑自动并行}，booktitle={编程语言与系统，第18届欧洲编程研讨会，{ESOP}2009，作为欧洲理论联合会议的一部分举行《软件实践》，｛ETAPS｝2009，英国约克，2009年3月22日至29日。诉讼}，series={计算机科学讲稿}，体积={5502}，页数={348--362}，publisher={Springer}，年份={2009}，url={https://doi.org/10.1007/978-3-642-00590-9\_25},doi={10.1007/978-3642-00590-9\_25}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/esop/RazaCG09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/wsfm/GardnerW09，author={Philippa Gardner和Mark J.Wheelhouse公司}，editor={Cosimo Laneve和苏建文，title={树更新的小型规范}，booktitle={Web服务和形式方法，第六届国际研讨会，{WS-FM}2009年9月4日至5日，意大利博洛尼亚，修订论文集}，series={计算机科学讲稿}，体积={6194}，页数={178--195}，publisher={Springer}，年份={2009}，url={https://doi.org/10.1007/978-3-642-14458-5\_11},doi={10.1007/978-3-642-14458-5\_11}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/wsfm/GardnerW09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@会议记录{DBLP:conf/dbpl/2009，editor={Philippa Gardner和Floris Geerts}，title={数据库编程语言-{DBPL}2009，第12届国际研讨会，法国里昂，2009年8月24日。诉讼}，series={计算机科学讲稿}，体积={5708}，publisher={Springer}，年份={2009}，url={https://doi.org/10.1007/978-3-642-03793-1},doi={10.1007/978-3-642-03793-1}，isbn={978-3-642-03792-4}，timestamp={2020年12月29日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/dbpl/2009.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/jlp/MaffeisG08，author={Sergio Maffeis和菲利普·加德纳}，title={动态Web数据的行为等效}，journal={J.Log.代数方法程序}，体积＝{75}，数字={1}，页数={86--138}，年份={2008}，url={https://doi.org/10.1016/j.jlap.2007.06.004},doi={10.1016/J.JLAP.2007.06.004}，时间戳＝{2023年2月12日星期日00:00:00+0100}，biburl={https://dblp.org/rec/journals/jlp/MaffeisG08.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/fossacs/RazaG08，author={Mohammad Raza和菲利普·加德纳}，编辑={Roberto M.Amadio}，title={局部推理中的足迹}，booktitle={软件科学和计算结构基础，第11期2008年国际会议{FOSSACS}，作为联合会议的一部分举行欧洲软件理论与实践会议，{ETAPS}2008，2008年3月29日至4月6日，匈牙利布达佩斯。诉讼}，series={计算机科学讲稿}，体积={4962}，页数={201--215}，publisher={Springer}，年份={2008}，url={https://doi.org/10.1007/978-3-540-78499-9\_15},doi={10.1007/978-3-540-78499-9\_15}，时间戳＝｛2019年5月14日星期二10:00:55+0200｝，biburl={https://dblp.org/rec/conf/fossacs/RazaG08.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/planX/GardnerSWZ08，author={Philippa Gardner和加雷思·史密斯和Mark J.Wheelhouse和乌里·扎尔法蒂}，title={{DOM:}走向正式规范}，booktitle={{PLAN-X}2008，XML编程语言技术，一个{ACM}{SIGPLAN}研讨会与{POPL}2008联合举办，加利福尼亚州旧金山，美国，2008年1月9日}，年份={2008}，url={http://gemo.futurs.inria.fr/events/PLANX2008/papers/p18.pdf},timestamp={2013年4月16日星期二01:00:00+0200}，biburl={https://dblp.org/rec/conf/planX/GardnerSWZ08.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/pods/GardnerSWZ08，author={Philippa Gardner和加雷思·史密斯和Mark J.Wheelhouse和乌里·扎尔法蒂}，editor={Maurizio Lenzerini和Domenico Lembo}，title={Local Hoare关于{DOM}}的推理，booktitle={第二十七届会议记录{ACM}{SIGMOD-SIGACT-SIGART}研讨会数据库系统原理，{PODS}2008年6月9日至11日，温哥华，不列颠哥伦比亚省、加拿大}，页数={261--270}，发布者＝｛｛ACM｝｝，年份={2008}，url={https://doi.org/10.1145/1376916.1376953},doi={10.1145/1376916.1376953}，时间戳＝{2018年11月6日星期二00:00:00+0100}，biburl={https://dblp.org/rec/conf/pods/GardnerSWZ08.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/CardelliCGKP09，author={Luca Cardelli和Emmanuelle Caron和菲利普·加德纳和Ozan Kahramanogullari和安德鲁·菲利普斯}，editor={Nicola Cannata和伊曼纽拉·梅雷利和Irek Ulidowski}，title={肌动蛋白聚合过程模型}，booktitle={从生物学到并行和返回，ICALP的FBTC2008年7月12日，冰岛雷克雅未克}，series={理论计算机科学电子笔记}，体积={229}，数字={1}，页数={127--144}，publisher＝{爱思唯尔}，年份={2008}，url={https://doi.org/10.1016/j.entcs.2009.02.009},doi={10.1016/J.ENTCS.2009.02.009}，时间戳={2023年2月24日星期五11:25:56+0100}，biburl={https://dblp.org/rec/journals/entcs/CardelliCGKP09.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/iandc/DawarGG07，author={Anuj Dawar和菲利普·加德纳和乔治·盖利（Giorgio Ghelli），title={图逻辑的表达性和复杂性}，日志={Inf.Comput.}，体积＝{205}，数字={3}，页数={263--310}，年份={2007}，url={https://doi.org/10.1016/j.ic.2006.10.006},doi={10.1016/J.IC.2006.10.006}，timestamp={2021年2月12日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/iandc/DawarGG07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/iandc/GardnerLW07，author={Philippa Gardner和Cosimo Laneve和卢西安·维希克}，title={线性转发器}，日志={Inf.Comput.}，体积＝{205}，数字＝{10}，页数={1526--1550}，年份={2007}，url={https://doi.org/10.1016/j.ic.2007.01.006},doi={10.1016/J.IC.2007.01.006}，timestamp={2022年6月23日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/iandc/GardnerLW07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/aplas/CalcagnoDG07，author={克里斯蒂亚诺·卡尔卡尼奥和托马斯·丁斯代尔{-}年轻和菲利普·加德纳}，editor={钟绍}，title={树上下文逻辑中的附加消除}，booktitle={编程语言与系统，第五届亚洲研讨会，{APLAS}2007，新加坡，2007年11月29日至12月1日，诉讼}，series={计算机科学讲稿}，体积={4807}，页数={255--270}，publisher={Springer}，年份={2007}，url={https://doi.org/10.1007/978-3-540-76637-7\_17},doi={10.1007/978-3-540-76637-7\_17}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/aplas/CalcagnoDG07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/popl/CalcagnoGZ07，author={克里斯蒂亚诺·卡尔卡尼奥和菲利普·加德纳和乌里·扎尔法蒂}，editor={马丁·霍夫曼和Matthias Felleisen}，title={作为模态逻辑的上下文逻辑：完备性和参数不表达}，booktitle＝｛第34届｛ACM｝｛SIGPLAN-SIGCT｝原则研讨会论文集《编程语言》，{POPL}2007，法国尼斯，1月17日至19日，2007},页数={123--134}，发布者＝｛｛ACM｝｝，年份={2007}，url={https://doi.org/10.1145/1190216.1190236},doi={10.1145/190216.1190236}，timestamp={2021年6月25日星期五14:48:54+0200}，biburl={https://dblp.org/rec/conf/popl/CalcagnoGZ07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/wollic/GardnerZ07，author={Philippa Gardner和乌里·扎尔法蒂}，editor={Daniel Leivant和Ruy J.G.B.de Queiroz}，title={上下文逻辑导论}，booktitle={逻辑、语言、信息和计算，第十四届国际研讨会，WoLLIC 2007，巴西里约热内卢，2007年7月2-5日，会议记录}，series={计算机科学讲稿}，体积={4576}，页数={189--202}，publisher={Springer}，年份={2007}，url={https://doi.org/10.1007/978-3-540-73445-1\_14},doi={10.1007/978-3-540-73445-1\_14}，timestamp={2019年5月14日星期二10:00:40+0200}，biburl={https://dblp.org/rec/conf/wollic/GardnerZ07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/CardelliGK08，author={Luca Cardelli和菲利普·加德纳和Ozan Kahramanogullari}，editor={Nicola Cannata和伊曼纽拉·梅雷利，title={吞噬作用下Rho-GTP结合蛋白的过程模型}，booktitle={《从生物学到并行和返回”，CONCUR的FBTC2007年9月8日，葡萄牙里斯本}，series={理论计算机科学电子笔记}，体积={194}，数字={3}，页数={87--102}，publisher＝{爱思唯尔}，年份={2007}，url={https://doi.org/10.1016/j.entcs.2007.12.007},doi={10.1016/J.ENTCS.2007.12.007}，时间戳＝{2023年2月9日星期四10:12:34+0100}，biburl={https://dblp.org/rec/journals/entcs/CardelliGK08.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:日记账/entcs/CalcagnoGZ07，author={克里斯蒂亚诺·卡尔卡尼奥和菲利普·加德纳和乌里·扎尔法蒂}，editor={Luca Cardelli和马塞洛·菲奥雷和Glynn Winskel}，title={关于数据更新的本地推理}，booktitle＝{计算、意义和逻辑：献给Gordon Plotkin的文章}，series={理论计算机科学电子笔记}，体积={172}，页数={133--175}，publisher＝{爱思唯尔}，年份={2007}，url={https://doi.org/10.1016/j.entcs.2007.02.006},doi={10.1016/J.ENTCS.2007.02.006}，timestamp={2023年1月24日星期二11:36:28+0100}，biburl={https://dblp.org/rec/journals/entcs/CalcagnoGZ07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/CardelliGG07，author={Luca Cardelli和菲利普·加德纳和乔治·盖利（Giorgio Ghelli），editor={Luca Cardelli和马塞洛·菲奥雷和Glynn Winskel}，title={使用隐藏标签操作树}，booktitle＝{计算、意义和逻辑：献给Gordon Plotkin的文章}，series={理论计算机科学电子笔记}，体积={172}，页数={177--201}，publisher＝{爱思唯尔}，年份={2007}，url={https://doi.org/10.1016/j.entcs.2007.02.007},doi={10.1016/J.ENTCS.2007.02.007}，timestamp={2023年1月24日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/entcs/CardelliGG07.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/GardnerY06，author={Philippa Gardner和吉田信子}，title={编辑}，日志={Theor.Comput.Sci.}，体积={358}，数字={2-3}，页面＝{149}，年份={2006}，url={https://doi.org/10.1016/j.tcs.2006.01.013},doi={10.1016/J.TCS.2006.01.013}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/GardnerY06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/ZarfatyG06，author={Uri Zarfaty和菲利普·加德纳}，编辑={Stephen D.Brookes和迈克尔·米斯洛夫（Michael W.Mislove），title＝{关于树更新的本地推理}，booktitle={第22届数学基础年会论文集编程语义，{MFPS}2006，Genova，Italy，May 23-27，series={理论计算机科学电子笔记}，体积={158}，页面＝{399-424}，publisher＝{爱思唯尔}，年份={2006}，url={https://doi.org/10.1016/j.entcs.2006.04.020},doi＝{10.1016/J.ENTCS.2006.04.020}，timestamp={2021年2月8日星期一00:00:00+0100}，biburl={https://dblp.org/rec/journals/entcs/ZarfatyG06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/WischikG05，author={Lucian Wischik和菲利普·加德纳}，title={显式融合}，日志={Theor.Comput.Sci.}，体积={340}，数字={3}，页数={606--630}，年份={2005}，url={https://doi.org/10.1016/j.tcs.2005.03.017},doi={10.1016/J.TCS.2005.03.017}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/WischikG05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/GardnerM05，author={Philippa Gardner和Sergio Maffeis}，title={建模动态web数据}，日志={Theor.Comput.Sci.}，体积={342}，数字={1}，页数={104--131}，年份={2005}，url={https://doi.org/10.1016/j.tcs.2005.06.006},doi={10.1016/J.TCS.2005.06.006}，时间戳＝{2023年2月12日星期日00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/GardnerM05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/fossacs/CalcagnoGH05，author={克里斯蒂亚诺·卡尔卡尼奥和菲利普·加德纳和马修·黑格}，编辑={Vladimiro Sassone}，title={从分离逻辑到一阶逻辑}，booktitle={软件科学和计算结构基础，第8期国际会议，{FOSSACS}2005，作为联合会议的一部分举行欧洲软件理论与实践会议，{ETAPS}2005，英国爱丁堡，2005年4月4日至8日，Proceedings}，series={计算机科学讲稿}，体积={3441}，pages＝{395-409}，publisher={Springer}，年份={2005}，url={https://doi.org/10.1007/978-3-540-31982-5\_25},doi＝{10.1007/978-3-540-31982-5\_25}，时间戳＝｛2019年5月14日星期二10:00:55+0200｝，biburl={https://dblp.org/rec/conf/fossacs/CalcagnoGH05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/popl/CalcagnoGZ05，author={克里斯蒂亚诺·卡尔卡尼奥和菲利普·加德纳和乌里·扎尔法蒂}，editor={Jens Palsberg和马特{\'{\i}}n阿巴迪}，title={上下文逻辑和树更新}，booktitle={第32届{ACM}{SIGPLAN-SIGACT}原理研讨会论文集编程语言，{POPL}2005，美国加利福尼亚州长滩，2005年1月12日至14日}，页数={271--282}，发布者＝｛｛ACM｝｝，年份={2005}，url={https://doi.org/10.1145/1040305.1040328},doi={10.1145/1040305.1040328}，timestamp={星期六，2021年7月31日17:22:14+0200}，biburl={https://dblp.org/rec/conf/popl/CalcagnoGZ05.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@会议记录{DBLP:conf/dagstuhl/2004P4241，editor={Barbara K{\“{o}}nig和乌戈·蒙塔纳里和菲利普·加德纳}，title={分布式建模的图变换和过程代数和移动系统，6.-11。2004年6月}，series={达格斯图尔研讨会论文集}，体积={04241}，publisher={IBFI，Schloss Dagstuhl，德国}，年份={2005}，url={http://drops.dagstuhl.de/portals/04241/},timestamp={2021年6月10日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/dagstuhl/2004P4241.bi},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/fossacs/WischikG04，author={Lucian Wischik和菲利普·加德纳}，editor={Igor Walukiewicz}，title={显式融合微积分的强互模拟}，booktitle={软件科学与计算结构基础，第七届国际2004年会议，作为欧洲联合会议的一部分举行《软件理论与实践》，{ETAPS}2004，西班牙巴塞罗那，2004年3月29日至4月2日，会议记录}，series={计算机科学讲稿}，体积={2987}，页数={484--498}，publisher={Springer}，年份={2004}，url={https://doi.org/10.1007/978-3-540-24727-2\_34},doi={10.1007/978-3-540-24727-2\_34}，时间戳＝｛2019年5月14日星期二10:00:55+0200｝，biburl={https://dblp.org/rec/conf/fossacs/WischikG04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/fsttcs/DawarGG04，author={Anuj Dawar和菲利普·加德纳和乔治·盖利（Giorgio Ghelli），editor={Kamal Lodaya和Meena Mahajan}，title={静态环境逻辑中通过游戏进行辅助消除}，booktitle={{FSTTCS}2004：软件技术和理论基础计算机科学，第24届国际会议，印度钦奈，12月2004年16月18日，会议记录}，series={计算机科学讲稿}，体积={3328}，页面＝{211-223}，publisher={Springer}，年份={2004}，url={https://doi.org/10.1007/978-3-540-30538-5\_18},doi={10.1007/978-3-540-30538-5\_18}，timestamp={2019年5月14日星期二10:00:50+0200}，biburl={https://dblp.org/rec/conf/fsttcs/DawarGG04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/ifipTCS/MaffeisG04，author={Sergio Maffeis和菲利普·加德纳}，editor={Jean{-}雅克L{\'{e}}vy和Ernst W.Mayr和约翰·米切尔，title={动态Web数据的行为等效}，booktitle={探索理论信息学的新领域，{IFIP}第18世界计算机大会，{TC1}第三届国际理论会议计算机科学（TCS2004），2004年8月22日至27日，法国图卢兹，序列={{IFIP}}，体积={155}，页数={535--548}，发布者＝{Kluwer/Springer}，年份={2004}，url={https://doi.org/10.1007/1-4020-8141-3\_41},doi={10.1007/1-4020-8141-3\_41}，时间戳＝{2023年2月12日星期日00:00:00+0100}，biburl={https://dblp.org/rec/conf/ifipTCS/MaffeisG04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@会议记录{DBLP:conf/concor/2004，editor={Philippa Gardner和吉田信子}，title＝｛｛CONCUR｝2004-并发理论，第15届国际会议，2004年8月31日至9月3日，英国伦敦，Proceedings}，series={计算机科学讲稿}，体积={3170}，publisher={Springer}，年份={2004}，url={https://doi.org/10.1007/b100113},doi＝{10.1007/B10113}，isbn={3-540-22940-X}，timestamp={2020年3月27日星期五00:00:00+0100}，biburl={https://dblp.org/rec/conf/concor/2004.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/dagstuhl/KonigMG04，作者=｛Barbara K｛\“｛o｝nig and乌戈·蒙塔纳里和菲利普·加德纳}，editor={Barbara K{\“{o}}nig和乌戈·蒙塔纳里和菲利普·加德纳}，title={04241摘要集-图变换和过程代数用于建模分布式和移动系统}，booktitle={分布式建模的图变换和过程代数和移动系统，6.-11。2004年6月}，series={达格斯图尔研讨会论文集}，体积={04241}，publisher={IBFI，Schloss Dagstuhl，德国}，年份={2004}，url={http://drops.dagstuhl.de/opus/volltexte/2005/27},timestamp={2021年6月10日星期四13:02:09+0200}，biburl={https://dblp.org/rec/conf/dagstuhl/KonigMG04.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/conver/GardnerLW03，author={Philippa Gardner和Cosimo Laneve和卢西安·维希克}，editor={罗伯托·M·阿马迪奥和丹尼斯·卢吉兹（Denis Lugiez），title={线性转发器}，booktitle={{CONCUR}2003——并发理论，第14届国际会议，法国马赛，2003年9月3日至5日，Proceedings}，series={计算机科学讲稿}，体积={2761}，页数={408--422}，publisher={Springer}，年份={2003}，url={https://doi.org/10.1007/978-3-540-45187-7\_27},doi＝{10.1007/978-3-540-45187-7\_27}，timestamp={2022年6月23日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/concor/GardnerLW03.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/dbpl/GardnerM03，author={Philippa Gardner和Sergio Maffeis}，editor={Georg Lausen和丹素秀}，title={建模动态Web数据}，booktitle={数据库编程语言，第九届国际研讨会，{DBPL}2003年9月6日至8日，德国波茨坦，修订论文}，series={计算机科学讲稿}，体积={2921}，页面＝{130-146}，publisher={Springer}，年份={2003}，url={https://doi.org/10.1007/978-3-540-24607-7\_9},doi={10.1007/978-3-540-24607-7\_9}，时间戳＝{2023年2月12日星期日00:00:00+0100}，biburl={https://dblp.org/rec/conf/dbpl/GardnerM03.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/fossacs/CardelliGG03，author={Luca Cardelli和菲利普·加德纳和乔治·盖利（Giorgio Ghelli），编辑＝{安德鲁·D·戈登}，title={使用隐藏标签操作树}，booktitle={软件科学和计算结构基础，第6版2003年{FOSSACS}国际会议作为联合会的一部分举行欧洲软件理论与实践会议，｛ETAPS｝2003，波兰华沙，2003年4月7日至11日，Proceedings}，series={计算机科学讲稿}，体积={2620}，页数={216--232}，publisher={Springer}，年份={2003}，url={https://doi.org/10.1007/3-540-36576-1\_14},doi={10.1007/3-540-36576-1\_14}，timestamp={2022年2月14日星期一09:20:26+0100}，biburl={https://dblp.org/rec/conf/fossacs/CardelliGG03.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/conver/GardnerLW02，author={Philippa Gardner和Cosimo Laneve和卢西安·维希克}，editor={Lubos Brim和Petr Jancar和Mojm{\'{\i}}rKret{\'}}nsk{\''{y}}和安东·库塞拉，title={The Fusion Machine}，booktitle={{CONCUR}2002-并发理论，第13届国际会议，捷克共和国布尔诺，2002年8月20日至23日，Proceedings}，series={计算机科学讲稿}，体积={2421}，页数={418--433}，publisher={Springer}，年份={2002}，url={https://doi.org/10.1007/3-540-45694-5\_28},doi={10.1007/3-540-45694-5\_28}，timestamp={2022年6月23日星期四01:00:00+0200}，biburl={https://dblp.org/rec/conf/concor/GardnerLW02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/icalp/CardelliGG02，author={Luca Cardelli和菲利普·加德纳和乔治·盖利（Giorgio Ghelli），editor={Peter Widmayer和Francisco Triguero Ruiz和拉斐尔·莫拉莱斯·布埃诺和马修·亨尼西和Stephan J.Eidenbenz和里卡多·科内乔}，title＝{用于查询图的空间逻辑}，booktitle={自动化，语言与编程，第29届国际学术讨论会，{ICALP}2002，西班牙马拉加，2002年7月8日至13日，会议记录}，series={计算机科学讲稿}，体积={2380}，页面＝{597-610}，publisher={Springer}，年份={2002}，url={https://doi.org/10.1007/3-540-45465-9\_51},doi={10.1007/3-540-45465-9\51}，时间戳={2019年9月11日星期三13:15:53+0200}，biburl={https://dblp.org/rec/conf/icalp/CardelliGG02.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/colcol/Gardner00，作者={菲利普·加德纳}，editor={Catuscia Palamidessi}，title={从过程计算到过程框架}，booktitle={{CONCUR}2000——并发理论，第11届国际会议，美国宾夕法尼亚州大学公园，2000年8月22日至25日，Proceedings}，series={计算机科学讲稿}，体积={1877}，页数={69--88}，publisher={Springer}，年份={2000}，url={https://doi.org/10.1007/3-540-44618-4\_7},doi={10.1007/3-540-44618-4\_7}，timestamp={2019年5月14日星期二10:00:43+0200}，biburl={https://dblp.org/rec/conf/concor/Gardner00.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/mfcs/GardnerW00，author={Philippa Gardner和卢西安·维希克}，editor={莫根斯·尼尔森和Branislav Rovan}，title={显式融合}，booktitle={2000年计算机科学数学基础，第25届国际2000年8月28日至9月在斯洛伐克布拉迪斯拉发举行的{MFCS}研讨会2000年1月，诉讼}，series={计算机科学讲稿}，体积={1893}，页数={373--382}，publisher={Springer}，年份={2000}，url={https://doi.org/10.1007/3-5440-44612-5\_33},doi={10.1007/3-540-44612-5\_33}，timestamp={2019年5月14日星期二10:00:37+0200}，biburl={https://dblp.org/rec/conf/mfcs/GardnerW00.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/tcs/Gardner99，作者={菲利普·加德纳}，title={闭合动作演算}，日志={Theor.Comput.Sci.}，体积={228}，数字={1-2}，页码＝{77-103}，年份={1999}，url={https://doi.org/10.1016/S0304-3975(98)00355-7},doi={10.1016/S0304-3975（98）00355-7}，timestamp={2021年2月17日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/tcs/Gardner99.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@正在进行{DBLP:conf/csl/BarberGHP97，author={Andrew G.Barber和菲利普·加德纳和长谷正彦和戈登·普洛金（Gordon D.Plotkin），editor={莫根斯·尼尔森和沃尔夫冈·托马斯}，title={从动作微积分到线性逻辑}，booktitle={计算机科学逻辑，第11届国际研讨会，{CSL}'97，年度EACSL会议，丹麦奥胡斯，1997年8月23日至29日，精选论文}，series={计算机科学讲稿}，体积＝{1414}，页数={78--97}，publisher={Springer}，年份={1997}，url={https://doi.org/10.1007/BFb0028008},doi={10.1007/BFB0028008}，timestamp={2022年10月2日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/csl/BarberGHP97.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/tacs/GardnerH97，author={Philippa Gardner和长谷川正仁}，editor={Mart{\'{\i}}n Abadi和伊藤孝文}，title={高阶动作演算的类型和模型}，booktitle＝{计算机软件的理论方面，第三届国际研讨会，{TACS}'97，日本仙台，1997年9月23日至26日，会议记录}，series={计算机科学讲稿}，体积={1281}，页数={583--603}，publisher={Springer}，年份={1997}，url={https://doi.org/10.1007/BFb0014569},doi={10.1007/BFB0014569}，timestamp={2022年10月2日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/tacs/GardnerH97.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/Gardner97，作者={菲利普·加德纳}，editor={Andrew D.Gordon和Andrew M.Pitts和卡罗琳·塔尔科特}，title={动作演算的类型理论描述}，booktitle={语义高级操作技术第二次研讨会，{HOOTS}1997年，美国加利福尼亚州斯坦福市，1997年12月8日至12日}，series={理论计算机科学电子笔记}，体积={10}，页数={52}，publisher＝{爱思唯尔}，年份={1997}，url={https://doi.org/10.1016/S1571-0661（05）82513-7}，doi={10.1016/S1571-0661（05）82513-7}，时间戳={2022年11月11日星期五13:29:29+0100}，biburl={https://dblp.org/rec/journals/entcs/Gardner97.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/mscs/Gardner95，作者={菲利普·加德纳}，title={逻辑及其表示类型理论之间的等价}，journal={Math.Struct.Comput.Sci.}，体积={5}，数字={3}，页面＝{323-349}，年份={1995}，url={https://doi.org/10.1017/S0960129500000785},doi={10.1017/S0960129500000785}，timestamp={2020年4月1日星期三01:00:00+0200}，biburl={https://dblp.org/rec/journals/mscs/Gardner95.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@inprocesdings{DBLP:期刊/entcs/Gardner95，作者={菲利普·加德纳}，编辑={Stephen D.Brookes和Michael G.Main和奥斯汀·梅尔顿和迈克尔·米斯洛夫（Michael W.Mislove），title={动作计算的无名称帐户}，第十一届程序设计数学基础年会语义学，{MFPS}1995，美国洛杉矶新奥尔良杜兰大学，3月29-1995年4月1日}，series={理论计算机科学电子笔记}，体积={1}，页数={214--231}，publisher＝{爱思唯尔}，年份={1995}，url={https://doi.org/10.1016/S1571-0661(04)80012-4},doi={10.1016/S1571-0661（04）80012-4}，timestamp={2021年2月8日星期一00:00:00+0100}，biburl={https://dblp.org/rec/journals/entcs/Gardner95.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@在过程中{DBLP:conf/tacs/Gardner94，作者={菲利普·加德纳}，editor={Masami Hagiya和约翰·米切尔，title={使用类型理论发现所需的约简}，booktitle={计算机软件的理论方面，国际会议{TACS}'94，日本仙台，1994年4月19日至22日，会议记录}，series={计算机科学讲稿}，体积={789}，页数={555--574}，publisher={Springer}，年份={1994年}，url={https://doi.org/10.1007/3-540-57887-0\_115},doi={10.1007/3-540-57887-0\_115}，timestamp={2019年5月14日星期二10:00:51+0200}，biburl={https://dblp.org/rec/conf/tacs/Gardner94.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/lpar/Gardner93，作者={菲利普·加德纳}，editor={Andrei Voronkov}，title={一种表示逻辑的新型理论}，booktitle={逻辑编程与自动推理，第四届国际会议，俄罗斯圣彼得堡LPAR’93，1993年7月13日至20日，Proceedings}，series={计算机科学讲稿}，体积={698}，页数={146--157}，publisher={Springer}，年份={1993}，url={https://doi.org/10.1007/3-540-56944-8\_49}中，doi={10.1007/3-540-56944-8\_49}，时间戳＝｛2019年5月14日星期二10:00:55+0200｝，biburl={https://dblp.org/rec/conf/lpar/Gardner93.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@博士{DBLP:phd/ethos/Gardner92，作者={菲利普·加德纳}，title={在类型理论中表示逻辑}，学校={爱丁堡大学，{英国}}，年份={1992年}，url={https://hdl.handle.net/1842/14888},timestamp={2022年5月4日星期三01:00:00+0200}，biburl={https://dblp.org/rec/phd/ethos/Gardner92.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@进行中{DBLP:conf/生日/GardnerS91，author={Philippa Gardner和约翰·谢泼德森（John C.Shepherdson），editor={Jean路易斯拉塞兹和戈登·普洛金（Gordon D.Plotkin），title={逻辑程序的展开/折叠转换}，booktitle={计算逻辑-纪念艾伦·罗宾逊的论文}，页数={565--583}，publisher={The{MIT}Press}，年份={1991年}，timestamp={2017年11月1日星期三00:00:00+0100}，biburl={https://dblp.org/rec/conf/birthday/GardnerS91.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
