PLI
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Principles, Logics, and Implementations of High-Level Programming Languages (PLI)

3 × Austria
5 × Belgium
2 × Canada
2 × Cyprus
3 × Denmark
3 × Estonia
4 × France
10 × Germany
12 × Italy
1 × Poland
3 × Portugal
7 × Spain
5 × Sweden
3 × The Netherlands
8 × USA
8 × United Kingdom
263 ×#source code
240 ×#logic programming
110 ×#constraints
105 ×#using
100 ×#semantics
98 ×#functional
96 ×#analysis
96 ×#programming
93 ×#generative
91 ×#logic

6 brands:

ALPALP
GPCEGPCE
LOPSTRLOPSTR
PLILPPLILP
PPDPPPDP
QAPLQAPL

1842 papers in 95 issues:

2015
GPCEProceedings of the 14th International Conference on Generative Programming: Concepts and Experiences (GPCE 2015)
PPDPProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
QAPLProceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015)
2014
GPCEProceedings of the 13th International Conference on Generative Programming: Concepts and Experiences (GPCE 2014)
LOPSTRRevised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)
PPDPProceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
QAPLProceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014)
2013
GPCEProceedings of the 12th International Conference on Generative Programming: Concepts and Experiences (GPCE 2013)
LOPSTRRevised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013)
PPDPProceedings of the 15th International Conference on Principles and Practice of Declarative Programming (PPDP 2013)
QAPLProceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013)
2012
GPCEProceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE 2012)
LOPSTRRevised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)
PPDPProceedings of the 14th International Conference on Principles and Practice of Declarative Programming (PPDP 2012)
PPDPSpecial issue on Principles and Practice of Declarative Programming — PPDP 2012 (PPDP 2012)
QAPLProceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012)
2011
GPCEProceedings of the 10th International Conference on Generative Programming and Component Engineering (GPCE 2011)
LOPSTRRevised Selected Papers of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
PPDPProceedings of the 13th International Conference on Principles and Practice of Declarative Programming (PPDP 2011)
QAPLProceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)
2010
GPCEProceedings of the Ninth International Conference on Generative Programming and Component Engineering (GPCE 2010)
LOPSTRRevised Selected Papers of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
PPDPProceedings of the 12th International Conference on Principles and Practice of Declarative Programming (PPDP 2010)
QAPLProceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010)
2009
GPCEProceedings of the Eighth International Conference on Generative Programming and Component Engineering (GPCE 2009)
GPCESpecial Section on Generative Programming and Component Engineering — GPCE 2009 (GPCE 2009)
LOPSTRRevised Selected Papers of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009)
PPDPProceedings of the 11th International Conference on Principles and Practice of Declarative Programming (PPDP 2009)
QAPLProceedings of the Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)
2008
GPCEProceedings of the Seventh International Conference on Generative Programming and Component Engineering (GPCE 2008)
LOPSTRRevised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)
PPDPProceedings of the 10th International Conference on Principles and Practice of Declarative Programming (PPDP 2008)
QAPLProceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)
2007
GPCEProceedings of the Sixth International Conference on Generative Programming and Component Engineering (GPCE 2007)
GPCESpecial Issue on Generative Programming and Component Engineering — GPCE 2007 (SCP, 2010)
LOPSTRRevised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2007)
PPDPProceedings of the Ninth International Conference on Principles and Practice of Declarative Programming (PPDP 2007)
QAPLProceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)
2006
GPCEProceedings of the Fifth International Conference on Generative Programming and Component Engineering (GPCE 2006)
LOPSTRRevised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006)
PPDPProceedings of the Eighth International Conference on Principles and Practice of Declarative Programming (PPDP 2006)
QAPLProceedings of the Fourth Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)
2005
GPCEProceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE 2005)
GPCESpecial Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005) (GPCE 2005)
LOPSTRRevised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005)
PPDPProceedings of the Seventh International Conference on Principles and Practice of Declarative Programming (PPDP 2005)
QAPLProceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)
2004
GPCEProceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE 2004)
LOPSTRRevised Selected Papers of the 14th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2004)
LOPSTRProgram Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (PDCL 2004)
PPDPProceedings of the Sixth International Conference on Principles and Practice of Declarative Programming (PPDP 2004)
QAPLProceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)
2003
GPCEProceedings of the Second International Conference on Generative Programming and Component Engineering (GPCE 2003)
LOPSTRRevised Selected Papers of the 13th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2003)
PPDPProceedings of the Fifth International Conference on Principles and Practice of Declarative Programming (PPDP 2003)
2002
GPCEProceedings of the Second International Conference on Generative Programming and Component Engineering (GPCE 2002)
LOPSTRRevised Selected Papers of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002)
PPDPProceedings of the Fourth International Conference on Principles and Practice of Declarative Programming (PPDP 2002)
2001
GPCEProceedings of the Third International Conference on Generative and Component-Based Software Engineering (GCSE 2001)
LOPSTRSelected Papers of the 11th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2001)
PPDPProceedings of the Third International Conference on Principles and Practice of Declarative Programming (PPDP 2001)
QAPLPost-Proceedings of the ACM Workshop on Quantitative Aspects of Programming Languages (QAPL 2001)
GPCEProceedings of the Second International Workshop on Semantics, Applications and Implementation of Program Generation (SAIG 2001)
2000
GPCERevised Papers of the Second International Symposium on Generative and Component-Based Software Engineering (GCSE 2000)
LOPSTRExtended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)
LOPSTRSelected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2000)
PPDPProceedings of the Second International Conference on Principles and Practice of Declarative Programming (PPDP 2000)
GPCEProceedings of the First International Workshop on Semantics, Applications and Implementation of Program Generation (SAIG 2000)
1999
GPCERevised Papers of the First International Symposium on Generative and Component-Based Software Engineering (GCSE 1999)
LOPSTRSelected Papers of the Ninth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1999)
PPDPProceedings of the First International Conference on Principles and Practice of Declarative Programming (PPDP 1999)
1998
PPDPProceedings of the 10th International Symposium on Principles of Declarative Programming, Held Jointly with the Seventh International Conference on Algebraic and Logic Programming (ALP/PLILP 1998)
LOPSTRProceedings of the Eighth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1998)
1997
PPDPProceedings of the Sixth International Joint Conference on Algebraic and Logic Programming (ALP/HOA 1997)
LOPSTRProceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1997)
PPDPProceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP 1997)
1996
PPDPProceedings of the Fifth International Conference on Algebraic and Logic Programming (ALP 1996)
LOPSTRProceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1996)
PPDPProceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP 1996)
1995
LOPSTRProceedings of the Fifth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1995)
PPDPProceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs (PPDP 1995)
1994
PPDPProceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP 1994)
LOPSTRProceedings of the Fourth International Workshops on Logic Programming Synthesis and Transformation, and Meta-Programming in Logic (LOPSTR/META 1994)
PPDPProceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming (PLILP 1994)
1993
LOPSTRProceedings of the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1993)
PPDPProceedings of the Fifth International Symposium on Programming Language Implementation and Logic Programming (PLILP 1993)
1992
PPDPProceedings of the Third International Conference on Algebraic and Logic Programming (ALP 1992)
LOPSTRProceedings of the Second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1992)
PPDPProceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP 1992)
1991
LOPSTRProceedings of the First International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991)
PPDPProceedings of the Third International Symposium on Programming Language Implementation and Logic Programming (PLILP 1991)
1990
PPDPProceedings of the Second International Conference on Algebraic and Logic Programming (ALP 1990)
PPDPProceedings of the Second International Workshop on Programming Language Implementation and Logic Programming (PLILP 1990)
1988
PPDPProceedings of the First International Workshop on Algebraic and Logic Programming (ALP 1988)
PPDPProceedings of the First International Workshop on Programming Language Implementation and Logic Programming (PLILP 1988)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.