声明性语言实用方面国际专题讨论会
第26届PADL 2024：英国伦敦
马丁·格布瑟 
, 伊利亚·谢尔盖 :
声明性语言的实用方面——第26届国际研讨会，PADL 2024，英国伦敦，2024年1月15日至16日，会议记录。 计算机科学课堂讲稿 14512, 施普林格 2023 ，国际标准图书编号 978-3-031-52037-2 [目录]
第25届PADL 2023：美国马萨诸塞州波士顿
迈克尔·哈纳斯 , 丹妮拉·伊普里赞 :
声明语言的实用方面——第25届国际研讨会，PADL 2023，波士顿，马萨诸塞州，美国，2023年1月16-17日，会议记录。 计算机科学课堂讲稿 13880, 施普林格 2023 ，十亿 978-3-031-24840-5 [目录]
第24届PADL 2022：美国宾夕法尼亚州费城
詹姆斯·切尼 , 西蒙娜·佩里 :
声明语言的实用方面——第24届国际研讨会，PADL 2022，费城，宾夕法尼亚州，美国，2022年1月17日至18日，会议记录。 计算机科学课堂讲稿 13165, 施普林格 2022 ，国际标准图书编号 978-3-030-94478-0 [目录]
第23届PADL 2021：丹麦哥本哈根
何塞·F·莫拉莱斯 , 多米尼克·A·乌节（Dominic A.Orchard） :
声明语言的实用方面——第23届国际研讨会，PADL 2021，丹麦哥本哈根，2021年1月18日至19日，会议记录。 计算机科学课堂讲稿 12548, 施普林格 2021 ，国际标准图书编号 978-3-030-67437-3 [目录]
2020年第22届PADL：美国洛杉矶新奥尔良
叶卡捷琳娜·科门丹斯卡娅 , 刘燕红（Annie Liu） :
声明语言的实践方面-第22届国际研讨会，PADL 2020，美国洛杉矶新奥尔良，2020年1月20日至21日，会议记录。 计算机科学课堂讲稿 12007, 施普林格 2020 ，国际标准图书编号 978-3-030-39196-6 [目录]
2019年第21届PADL：葡萄牙里斯本
何塞·朱利奥·阿尔弗雷斯 , 莫阿·约翰逊 :
声明性语言的实用方面——第21届国际研讨会，2019年PADL，葡萄牙里斯本，2019月14日至15日，会议记录。 计算机科学课堂讲稿 11372, 施普林格 2019 ，国际标准图书编号 978-3-030-05997-2 [目录]
2018年第20届PADL：美国加利福尼亚州洛杉矶
弗朗西斯科·卡利默里 , 凯文·哈姆伦 , 尼古拉·利昂 :
声明语言的实践方面-第20届国际研讨会，PADL 2018，美国加利福尼亚州洛杉矶，2018年1月8日至9日，会议记录。 计算机科学课堂讲稿 10702, 施普林格 2018 ，十亿 978-3-319-73304-3 [目录]
2017年第19届PADL：法国巴黎
尤利亚·利勒 , 瓦利德·塔哈 :
声明性语言的实用方面——第19届国际研讨会，2017年PADL，法国巴黎，2017年1月16-17日，会议记录。 计算机科学课堂讲稿 10137, 施普林格 2017 ，国际标准图书编号 978-3-319-51675-2 [目录]
2016年第18届PADL：美国佛罗里达州圣彼得堡
马可·加瓦内利 , 约翰·雷皮 :
2016年1月18日至19日，美国佛罗里达州圣彼得堡，PADL 2016，第18届国际声明性语言实践研讨会。 诉讼程序。 计算机科学课堂讲稿 9585, 施普林格 2016 ，国际标准图书编号 978-3-319-28227-5 [目录]
2015年第17届PADL：美国俄勒冈州波特兰
恩里科·蓬泰利 , Tran Cao儿子 :
2015年6月18日至19日，美国俄勒冈州波特兰市，第17届国际声明性语言实践研讨会，PADL 2015。 诉讼程序。 计算机科学课堂讲稿 9131, 施普林格 2015 ，国际标准图书编号 978-3-319-19685-5 [目录]
2014年第16届PADL：美国加利福尼亚州圣地亚哥
马修·弗拉特 , 郭海峰 :
2014年1月20日至21日，美国加利福尼亚州圣地亚哥，PADL 2014，第16届国际声明性语言实践方面研讨会。 诉讼程序。 计算机科学课堂讲稿 8324, 施普林格 2014 ，国际标准图书编号 978-3-319-04131-5 [目录]
2013年第15届PADL：意大利罗马
康斯坦丁诺斯·萨戈纳斯 :
2013年1月21日至22日在意大利罗马举行的第15届国际声明性语言实践研讨会，PADL 2013。 诉讼程序。 计算机科学讲义 7752, 施普林格 2013 ，国际标准图书编号 978-3-642-45283-3 [目录]
2012年第14届PADL：美国宾夕法尼亚州费城
克劳迪奥·拉索 , 能发周 :
2012年1月23日至24日，美国宾夕法尼亚州费城，第14届国际声明性语言实践研讨会，PADL 2012。 诉讼程序。 计算机科学课堂讲稿 7149, 施普林格 2012 ，国际标准图书编号 978-3-642-27693-4 [目录]
2011年第13届PADL：美国德克萨斯州奥斯汀
里卡多·罗查 , 约翰·朗奇伯里 :
声明语言的实践方面-第13届国际研讨会，PADL 2011，美国德克萨斯州奥斯汀，2011年1月24日至25日。 诉讼程序。 计算机科学课堂讲稿 6539, 施普林格 2011 ，国际标准图书编号 978-3-642-18377-5 [目录]
2010年第12届PADL：西班牙马德里
曼纽尔·卡罗 , 里卡多·佩尼亚 :
2010年1月18日至19日，西班牙马德里，PADL 2010，第十二届国际研讨会，《声明性语言的实用性》。 诉讼程序。 计算机科学课堂讲稿 5937, 施普林格 2010 ，国际标准图书编号 978-3-642-11502-8 [目录]
2009年第11届PADL：美国佐治亚州萨凡纳
安迪·吉尔 , Terrance Swift公司 :
2009年1月19日至20日，美国佐治亚州萨凡纳，PADL 2009，第11届国际研讨会，《声明性语言的实用性》。 诉讼程序。 计算机科学课堂讲稿 5418, 施普林格 2009 ，国际标准图书编号 978-3-540-92994-9 [目录]
第10届PADL 2008：美国加利福尼亚州旧金山
保罗·哈达克 , 大卫·斯科特·沃伦 :
2008年1月7日至8日，美国加利福尼亚州旧金山市，PADL 2008，第十届国际研讨会，声明语言的实践方面。 计算机科学讲义 4902, 施普林格 2008 ，国际标准图书编号 978-3-540-77441-9 [目录]
2007年第9届PADL：法国尼斯
迈克尔·哈纳斯 :
2007年1月14日至15日，法国尼斯，2007年PADL第九届国际研讨会，《声明性语言的实用性》。 计算机科学课堂讲稿 4354, 施普林格 2007 ，国际标准图书编号 978-3-540-69608-7 [目录]
2006年第8届PADL：美国南卡罗来纳州查尔斯顿
帕斯卡·范·亨特利克 :
《声明性语言的实用性》，第八届国际研讨会，2006年PADL，美国南卡罗来纳州查尔斯顿，2006年1月9日至10日，会议记录。 计算机科学课堂讲稿 3819, 施普林格 2006 ，国际标准图书编号 3-540-30947-0 [目录]
2005年第7届PADL：美国加利福尼亚州长滩
曼纽尔·埃尔梅内吉尔多 , 丹尼尔·卡贝萨 :
《声明语言的实用性》，第七届国际研讨会，2005年PADL，美国加利福尼亚州长滩，2005年1月10日至11日，会议记录。 计算机科学讲义 3350, 施普林格 2005 ，国际标准图书编号 3-540-24362-3 [目录]
2004年第6届PADL：美国德克萨斯州达拉斯
巴拉特·贾亚拉曼 :
2004年6月18日至19日，美国德克萨斯州达拉斯，PADL 2004，第六届国际研讨会，《声明性语言的实用性》。 计算机科学课堂讲稿 3057, 施普林格 2004 ，国际标准图书编号 3-540-22253-7 [目录]
2003年第5届PADL：美国洛杉矶新奥尔良
维罗尼卡·达尔 , 菲利普·沃德勒 :
声明性语言的实用方面，第五届国际研讨会，2003年PADL，美国洛杉矶新奥尔良，2003年1月13日至14日，会议记录。 计算机科学课堂讲稿 2562, 施普林格 2003 ，国际标准图书编号 3-540-00389-4 [目录]
2002年第四届PADL：美国俄勒冈州波特兰
克里希那穆尔蒂神庙 , C.R.Ramakrishnan（罗马克里希南） :
声明语言的实践方面，第四届国际研讨会，PADL 2002，美国俄勒冈州波特兰，2002年1月19-20日，会议记录。 计算机科学课堂讲稿 2257, 施普林格 2002 ，国际标准图书编号 3-540-43092-X型 [目录]
第三届PADL 2001：美国内华达州拉斯维加斯
I.V.罗摩克里希南 :
《声明语言的实用性》，第三届国际研讨会，2001年3月11日至12日，美国内华达州拉斯维加斯，PADL 2001，会议记录。 计算机科学课堂讲稿 1990, 施普林格 2001 ，国际标准图书编号 3-540-41768-0 [目录]
第2 PADL 2000：美国马萨诸塞州波士顿
恩里科·蓬泰利 , 维托尔·桑托斯·科斯塔 :
《声明性语言的实用方面》，第二次国际研讨会，PADL 2000，美国马萨诸塞州波士顿，2000年1月，会议记录。 计算机科学课堂讲稿 1753年， 施普林格 2000 ，十亿 3-540-66992-2 [目录]
1999年第1次PADL：美国德克萨斯州圣安东尼奥
戈帕尔·古普塔 :
《声明语言的实用性》，第一届国际研讨会，PADL’99，美国德克萨斯州圣安东尼奥，1999年1月18日至19日，会议记录。 计算机科学课堂讲稿 1551, 施普林格 1998 ，国际标准图书编号 3-540-65527-1 [目录]
