Principles and Practice of Declarative Programming (PPDP)
(brand of PLT)1 × Austria
1 × Belgium
1 × Denmark
1 × France
4 × Italy
1 × Poland
2 × Portugal
2 × Spain
1 × Sweden
1 × USA
1 × United Kingdom
41 ×#source code
38 ×#logic programming
36 ×#constraints
35 ×#semantics
33 ×#declarative
31 ×#functional
31 ×#programming
23 ×#logic
21 ×#proving
20 ×#analysis
Vocabulary: 879 words
499 papers in 21 issues:
- 2019
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)- 2018
- Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)
- 2017
- Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017)
- 2016
- Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016)
- 2015
- Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
- 2014
- Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
- 2013
- Proceedings of the 15th International Conference on Principles and Practice of Declarative Programming (PPDP 2013)
- 2012
- Proceedings of the 14th International Conference on Principles and Practice of Declarative Programming (PPDP 2012)
- Special issue on Principles and Practice of Declarative Programming — PPDP 2012 (PPDP 2012)
- 2011
- Proceedings of the 13th International Conference on Principles and Practice of Declarative Programming (PPDP 2011)
- 2010
- Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming (PPDP 2010)
- 2009
- Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming (PPDP 2009)
- 2008
- Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming (PPDP 2008)
- 2007
- Proceedings of the Ninth International Conference on Principles and Practice of Declarative Programming (PPDP 2007)
- 2006
- Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming (PPDP 2006)
- 2005
- Proceedings of the Seventh International Conference on Principles and Practice of Declarative Programming (PPDP 2005)
- 2004
- Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming (PPDP 2004)
- 2003
- Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming (PPDP 2003)
- 2002
- Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming (PPDP 2002)
- 2001
- Proceedings of the Third International Conference on Principles and Practice of Declarative Programming (PPDP 2001)
- 2000
- Proceedings of the Second International Conference on Principles and Practice of Declarative Programming (PPDP 2000)
- 1999
- Proceedings of the First International Conference on Principles and Practice of Declarative Programming (PPDP 1999)
1 × Belgium
1 × Denmark
1 × France
4 × Italy
1 × Poland
2 × Portugal
2 × Spain
1 × Sweden
1 × USA
1 × United Kingdom
41 ×#source code
38 ×#logic programming
36 ×#constraints
35 ×#semantics
33 ×#declarative
31 ×#functional
31 ×#programming
23 ×#logic
21 ×#proving
20 ×#analysis
Vocabulary: 879 words
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017)Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016)Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)Proceedings of the 15th International Conference on Principles and Practice of Declarative Programming (PPDP 2013)Proceedings of the 14th International Conference on Principles and Practice of Declarative Programming (PPDP 2012)Special issue on Principles and Practice of Declarative Programming — PPDP 2012 (PPDP 2012)Proceedings of the 13th International Conference on Principles and Practice of Declarative Programming (PPDP 2011)Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming (PPDP 2010)Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming (PPDP 2009)Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming (PPDP 2008)Proceedings of the Ninth International Conference on Principles and Practice of Declarative Programming (PPDP 2007)Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming (PPDP 2006)Proceedings of the Seventh International Conference on Principles and Practice of Declarative Programming (PPDP 2005)Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming (PPDP 2004)Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming (PPDP 2003)Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming (PPDP 2002)Proceedings of the Third International Conference on Principles and Practice of Declarative Programming (PPDP 2001)Proceedings of the Second International Conference on Principles and Practice of Declarative Programming (PPDP 2000)Proceedings of the First International Conference on Principles and Practice of Declarative Programming (PPDP 1999)