Programming Languages Theory (PLT)
3 × Austria
7 × Belgium
7 × Canada
1 × China
2 × Cyprus
6 × Denmark
2 × Estonia
17 × France
15 × Germany
1 × Greece
2 × India
1 × Ireland
24 × Italy
1 × Japan
1 × Korea
1 × Poland
4 × Portugal
15 × Spain
6 × Sweden
2 × Switzerland
4 × The Netherlands
115 × USA
16 × United Kingdom
7 × Belgium
7 × Canada
1 × China
2 × Cyprus
6 × Denmark
2 × Estonia
17 × France
15 × Germany
1 × Greece
2 × India
1 × Ireland
24 × Italy
1 × Japan
1 × Korea
1 × Poland
4 × Portugal
15 × Spain
6 × Sweden
2 × Switzerland
4 × The Netherlands
115 × USA
16 × United Kingdom
15 brands:
7680 papers in 310 issues:
- 2020
Proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020)
Proceedings of the 47th Symposium on Principles of Programming Languages (POPL 2020)
- 2019
Proceedings of the 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019)
Proceedings of the 24th Workshop on Partial Evaluation and Program Manipulation (PEPM 2019)
Proceedings of the 40th Conference on Programming Language Design and Implementation (PLDI 2019)
Proceedings of the 46th Symposium on Principles of Programming Languages (POPL 2019)
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)
Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019)
Proceedings of the 26th International Static Analysis Symposium (SAS 2019)
- 2018
Proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2018)
Revised Selected Papers of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
Proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018)
Proceedings of the 23rd Workshop on Partial Evaluation and Program Manipulation (PEPM 2018)
Proceedings of the 39th Conference on Programming Language Design and Implementation (PLDI 2018)
Proceedings of the 45th Symposium on Principles of Programming Languages (POPL 2018)
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018)
Proceedings of the 25th International Static Analysis Symposium (SAS 2018)
- 2017
Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2017)
Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)
Proceedings of the 22nd Workshop on Partial Evaluation and Program Manipulation (PEPM 2017)
Proceedings of the 38th Conference on Programming Language Design and Implementation (PLDI 2017)
Proceedings of the 44th Symposium on Principles of Programming Languages (POPL 2017)
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017)
Proceedings of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017)
Proceedings of the 24th International Static Analysis Symposium (SAS 2017)
- 2016
Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2016)
Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
Proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016)
Proceedings of the 21st Workshop on Partial Evaluation and Program Manipulation (PEPM 2016)
Proceedings of the 37th Conference on Programming Language Design and Implementation (PLDI 2016)
Proceedings of the 43rd Symposium on Principles of Programming Languages (POPL 2016)
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016)
Proceedings of the 14th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2016)
Proceedings of the 23rd International Static Analysis Symposium (SAS 2016)
- 2015
Proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2015)
Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)
Proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015)
Proceedings of the 20th Workshop on Partial Evaluation and Program Manipulation (PEPM 2015)
Proceedings of the 36th Conference on Programming Language Design and Implementation (PLDI 2015)
Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL 2015)
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015)
Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015)
Proceedings of the 22nd International Static Analysis Symposium (SAS 2015)
- 2014
Proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2014)
Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology (HILT 2014)
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)
Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014)
Proceedings of the 19th Workshop on Partial Evaluation and Program Manipulation (PEPM 2014)
Proceedings of the 35th Conference on Programming Language Design and Implementation (PLDI 2014)
Proceedings of the 41st Symposium on Principles of Programming Languages (POPL 2014)
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
Proceedings of the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014)
Proceedings of the 21st International Static Analysis Symposium (SAS 2014)
- 2013
Proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2013)
Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology (HILT 2013)
Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013)
Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013)
Proceedings of the 18th Workshop on Partial Evaluation and Program Manipulation (PEPM 2013)
Selected and extended papers from Partial Evaluation and Program Manipulation 2013 (PEPM 2013)
Proceedings of the 34th Conference on Programming Language Design and Implementation (PLDI 2013)
Proceedings of the 40th Annual Symposium on Principles of Programming Languages (POPL 2013)
Proceedings of the 15th International Conference on Principles and Practice of Declarative Programming (PPDP 2013)
Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013)
Proceedings of the 20th International Static Analysis Symposium (SAS 2013)
- 2012
Proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2012)
Proceedings of the ACM Conference on High Integrity Language Technology (HILT 2012)
Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012)
Proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012)
Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation (PEPM 2012)
Proceedings of the 33rd Conference on Programming Language Design and Implementation (PLDI 2012)
Proceedings of the 39th Symposium on Principles of Programming Languages (POPL 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)
Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012)
Proceedings of the 19th International Static Analysis Symposium (SAS 2012)
- 2011
Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2011)
Revised Selected Papers of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011)
Proceedings of the 16th Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)
Proceedings of the 32nd Conference on Programming Language Design and Implementation (PLDI 2011)
Proceedings of the 38th Symposium on Principles of Programming Languages (POPL 2011)
Proceedings of the 13th International Conference on Principles and Practice of Declarative Programming (PPDP 2011)
Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)
Proceedings of the 18th International Static Analysis Symposium (SAS 2011)
Proceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2011)
- 2010
Proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2010)
Revised Selected Papers of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
Proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010)
Proceedings of the 15th Workshop on Partial Evaluation and Program Manipulation (PEPM 2010)
Proceedings of the 31st Conference on Programming Language Design and Implementation (PLDI 2010)
Proceedings of the 37th Symposium on Principles of Programming Languages (POPL 2010)
Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming (PPDP 2010)
Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010)
Proceedings of the 17th International Static Analysis Symposium (SAS 2010)
Proceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2010)
- 2009
Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2009)
Revised Selected Papers of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009)
Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL 2009)
Proceedings of the 14th Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2009)
Proceedings of the 30th Conference on Programming Language Design and Implementation (PLDI 2009)
Proceedings of the 36th Symposium on Principles of Programming Languages (POPL 2009)
Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming (PPDP 2009)
Proceedings of the Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)
Proceedings of the 16th International Static Analysis Symposium (SAS 2009)
Proceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2009)
- 2008
Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2008)
Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)
Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL 2008)
Proceedings of the 13th Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2008)
Proceedings of the 29th Conference on Programming Language Design and Implementation (PLDI 2008)
Proceedings of the 35th Symposium on Principles of Programming Languages (POPL 2008)
Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming (PPDP 2008)
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)
Proceedings of the 15th International Static Analysis Symposium (SAS 2008)
Proceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2008)
- 2007
Proceedings of the 12th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2007)
Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2007)
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007)
Proceedings of the 12th Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2007)
Special issue on Partial Evaluation and Program Manipulation — PEPM 2007 (PEPM 2007)
Proceedings of the 28th Conference on Programming Language Design and Implementation (PLDI 2007)
Proceedings of the 34th Symposium on Principles of Programming Languages (POPL 2007)
Proceedings of the Ninth International Conference on Principles and Practice of Declarative Programming (PPDP 2007)
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)
Proceedings of the 14th International Static Analysis Symposium (SAS 2007)
Proceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2007)
- 2006
Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2006)
Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2006)
Proceedings of the Eighth International Symposium on Practical Aspects of Declarative Languages (PADL 2006)
Proceedings of the 11th Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2006)
Proceedings of the 27th Conference on Programming Language Design and Implementation (PLDI 2006)
Proceedings of the 33rd Symposium on Principles of Programming Languages (POPL 2006)
Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming (PPDP 2006)
Proceedings of the Fourth Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)
Proceedings of the 13th International Static Analysis Symposium (SAS 2006)
Proceedings of the Annual ACM SIGAda International Conference on Ada, Albuquerque (SIGAda 2006)
- 2005
Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2005)
Revised Selected Papers of the 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005)
Proceedings of the Seventh International Symposium on Practical Aspects of Declarative Languages (PADL 2005)
Proceedings of the 26th Conference on Programming Language Design and Implementation (PLDI 2005)
Proceedings of the 32nd Symposium on Principles of Programming Languages (POPL 2005)
Proceedings of the Seventh International Conference on Principles and Practice of Declarative Programming (PPDP 2005)
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)
Proceedings of the 12th International Static Analysis Symposium (SAS 2005)
Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2005)
- 2004
Proceedings of the Ninth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2004)
20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection (Best of PLDI 2004)
Revised Selected Papers of the 14th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2004)
Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL 2004)
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (PDCL 2004)
Proceedings of the 10th Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004)
Proceedings of the 25th Conference on Programming Language Design and Implementation (PLDI 2004)
Proceedings of the 31st Symposium on Principles of Programming Languages (POPL 2004)
Proceedings of the Sixth International Conference on Principles and Practice of Declarative Programming (PPDP 2004)
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)
Proceedings of the 11th International Static Analysis Symposium (SAS 2004)
Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2004)
- 2003
Proceedings of the Eighth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2003)
Revised Selected Papers of the 13th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2003)
Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages (PADL 2003)
Proceedings of the Ninth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2003)
Proceedings of the 24th Conference on Programming Language Design and Implementation (PLDI 2003)
Conference Record of the 30th Symposium on Principles of Programming Languages (POPL 2003)
Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming (PPDP 2003)
Proceedings of the 10th International Static Analysis Symposium (SAS 2003)
Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2003)
- 2002
Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität (Ada Deutschland Tagung 2002)
Proceedings of the Seventh Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2002)
Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM 2002)
Revised Selected Papers of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002)
Proceedings of the Fourth International Symposium on Practical Aspects of Declarative Languages (PADL 2002)
Proceedings of the Eighth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002)
Proceedings of the 23rd Conference on Programming Language Design and Implementation (PLDI 2002)
Conference Record of the 29th Symposium on Principles of Programming Languages (POPL 2002)
Proceedings of the Fourth International Conference on Principles and Practice of Declarative Programming (PPDP 2002)
Proceedings of the Ninth International Static Analysis Symposium (SAS 2002)
Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2002)
- 2001
Proceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2001)
Proceedings of the Third International Conference on Generative and Component-Based Software Engineering (GCSE 2001)
Selected Papers of the 11th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2001)
Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages (PADL 2001)
Proceedings of the 22nd Conference on Programming Language Design and Implementation (PLDI 2001)
Conference Record of the 28th Symposium on Principles of Programming Languages (POPL 2001)
Proceedings of the Third International Conference on Principles and Practice of Declarative Programming (PPDP 2001)
Post-Proceedings of the ACM Workshop on Quantitative Aspects of Programming Languages (QAPL 2001)
Proceedings of the Second International Workshop on Semantics, Applications and Implementation of Program Generation (SAIG 2001)
Proceedings of the Eighth International Static Analysis Symposium (SAS 2001)
Proceedings ACM SIGAda Annual International Conference (SIGAda 2001) (SIGAda 2001)
- 2000
Proceedings of the Fifth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2000)
Revised Papers of the Second International Symposium on Generative and Component-Based Software Engineering (GCSE 2000)
Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR 2000)
Selected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2000)
Proceedings of the Second International Symposium on Practical Aspects of Declarative Languages (PADL 2000)
Proceedings of the Seventh Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2000)
Proceedings of the 21st Conference on Programming Language Design and Implementation (PLDI 2000)
Proceedings of the 27th Symposium on Principles of Programming Languages (POPL 2000)
Proceedings of the Second International Conference on Principles and Practice of Declarative Programming (PPDP 2000)
Proceedings of the First International Workshop on Semantics, Applications and Implementation of Program Generation (SAIG 2000)
Proceedings of the Seventh International Static Analysis Symposium (SAS 2000)
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology (SIGAda 2000)
- 1999
Proceedings of the Fourth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1999)
Revised Papers of the First International Symposium on Generative and Component-Based Software Engineering (GCSE 1999)
Selected Papers of the Ninth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1999)
Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL 1999)
Proceedings of the Sixth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical report BRICS-NS-99-1) (PEPM 1999)
Proceedings of the 20th Conference on Programming Language Design and Implementation (PLDI 1999)
Proceedings of the 26th Symposium on Principles of Programming Languages (POPL 1999)
Proceedings of the First International Conference on Principles and Practice of Declarative Programming (PPDP 1999)
Proceedings of the Sixth International Static Analysis Symposium (SAS 1999)
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology (SIGAda 1999)
- 1998
Proceedings of the Third Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1998)
Proceedings 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)
Proceedings of the Eighth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1998)
Proceedings of the 19th Conference on Programming Language Design and Implementation (PLDI 1998)
Proceedings of the 25th Symposium on Principles of Programming Languages (POPL 1998)
Proceedings of the Fifth International Static Analysis Symposium (SAS 1998)
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology (SIGAda 1998)
- 1997
Proceedings of the Second Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1997)
Proceedings of the Sixth International Joint Conference on Algebraic and Logic Programming (ALP/HOA 1997)
Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1997)
Proceedings of the Fifth Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1997)
Proceedings of the 18th Conference on Programming Language Design and Implementation (PLDI 1997)
Proceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP 1997)
Conference Record of the 24th Symposium on Principles of Programming Languages (POPL 1997)
Proceedings of the Fourth International Static Analysis Symposium (SAS 1997)
The Annual Meeting of the Ada Programming World (TRI-Ada 1997)
- 1996
Proceedings of the First Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1996)
Proceedings of the Fifth International Conference on Algebraic and Logic Programming (ALP 1996)
Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1996)
Proceedings of the 17th Conference on Programming Language Design and Implementation (PLDI 1996)
Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP 1996)
Conference Record of the 23rd Symposium on Principles of Programming Languages (POPL 1996)
Proceedings of the Third International Static Analysis Symposium (SAS 1996)
The Annual Meeting of the Ada Programming World (TRI-Ada 1996)
- 1995
Proceedings of the Second International Eurospace/Ada-Europe Symposium (Ada-Europe 1995)
Proceedings of the Fifth International Workshop on Logic Programming Synthesis and Transformation (LOPSTR 1995)
Proceedings of the Fourth Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1995)
Proceedings of the 16th Conference on Programming Language Design and Implementation (PLDI 1995)
Proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs (PPDP 1995)
Conference Record of the 22nd Symposium on Principles of Programming Languages (POPL 1995)
Proceedings of the Second International Static Analysis Symposium (SAS 1995)
Tutorial Proceedings on Ada’s Role in Global Markets: Solutions for a Changing Complex World (TRI-Ada 1995)
- 1994
Proceedings of the First International Eurospace/Ada-Europe Symposium (Ada-Europe 1994)
Proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP 1994)
Proceedings of the Fourth International Workshops on Logic Programming Synthesis and Transformation, and Meta-Programming in Logic (LOPSTR/META 1994)
Proceedings of the Fourth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical Report 94/9) (PEPM 1994)
Proceedings of the 15th Conference on Programming Language Design and Implementation (PLDI 1994)
Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming (PLILP 1994)
Conference Record of the 21st Symposium on Principles of Programming Languages (POPL 1994)
Proceedings of the First International Static Analysis Symposium (SAS 1994)
Proceedings of the TRI-Ada Conference (TRI-Ada 1994)
- 1993
Proceedings of the 12th Ada-Europe International Conference: Ada Sans Frontières (Ada-Europe 1993)
Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1993)
Proceedings of the Third Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1993)
Proceedings of the 14th Conference on Programming Language Design and Implementation (PLDI 1993)
Proceedings of the Fifth International Symposium on Programming Language Implementation and Logic Programming (PLILP 1993)
Conference Record of the 20th Annual Symposium on Principles of Programming Languages (POPL 1993)
Conference Proceedings on TRI-Ada 1993 (TRI-Ada 1993)
Proceedings of the Third International Workshop on Static Analysis (WSA 1993)
- 1992
Proceedings of the 11th Ada-Europe International Conference: Moving Towards 2000 (Ada-Europe 1992)
Proceedings of the Third International Conference on Algebraic and Logic Programming (ALP 1992)
Proceedings of the Second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1992)
Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909) (PEPM 1992)
Proceedings of the 13th Conference on Programming Language Design and Implementation (PLDI 1992)
Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP 1992)
Conference Record of the 19th Annual Symposium on Principles of Programming Languages (POPL 1992)
Conference Proceedings on TRI-Ada 1992 (TRI-Ada 1992)
Tutorial Proceedings on TRI-Ada 1992, Volume 1 (TRI-Ada 1992)
Tutorial Proceedings on TRI-Ada 1992, Volume 2 (TRI-Ada 1992)
Proceedings of the Second Workshop on Static Analysis in Bordeaux (WSA 1992)
- 1991
Proceedings of the Ada-Europe International Conference: The Choice for ’92 (Ada-Europe 1991)
Proceedings of the First International Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991)
Proceedings of the First Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1991)
Proceedings of the 12th Conference on Programming Language Design and Implementation (PLDI 1991)
Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming (PLILP 1991)
Conference Record of the 18th Annual Symposium on Principles of Programming Languages (POPL 1991)
Proceedings of the First Workshop on Static Analysis at JTASPEFL in Bordeaux (JTASPEFL/WSA 1991)
- 1990
Proceedings of the Second International Conference on Algebraic and Logic Programming (ALP 1990)
Proceedings of the 11th Conference on Programming Language Design and Implementation (PLDI 1990)
Proceedings of the Second International Workshop on Programming Language Implementation and Logic Programming (PLILP 1990)
Conference Record of the 17th Annual Symposium on Principles of Programming Languages (POPL 1990)
- 1989
Proceedings of the 10th Conference on Programming Language Design and Implementation (PLDI 1989)
Conference Record of the 16th Annual Symposium on Principles of Programming Languages (POPL 1989)
- 1988
Proceedings of the First International Workshop on Algebraic and Logic Programming (ALP 1988)
Proceedings of the Ninth Conference on Programming Language Design and Implementation (PLDI 1988)
Proceedings of the First International Workshop on Programming Language Implementation and Logic Programming (PLILP 1988)
Conference Record of the 15th Annual Symposium on Principles of Programming Languages (POPL 1988)
- 1987
Proceedings of the Eighth Symposium on Interpreters and Interpretive Techniques (PLDI 1987)
Conference Record of the 14th Annual Symposium on Principles of Programming Languages (POPL 1987)
- 1986
Proceedings of the CRAI Workshop on Software Factories and Ada (Software Development and Ada 1986)
Conference Record of the 13th Annual Symposium on Principles of Programming Languages (POPL 1986)
- 1985
Conference Record of the 12th Annual Symposium on Principles of Programming Languages (POPL 1985)
- 1984
Conference Record of the 11th Annual Symposium on Principles of Programming Languages (POPL 1984)
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction (SCC 1984)
- 1983
Proceedings of the Workshop on Ada Software Tools Interfaces (Ada Software Tools Interfaces 1983)
Conference Record of the 10th Annual Symposium on Principles of Programming Languages (POPL 1983)
- 1982
Conference Record of the Ninth Annual Symposium on Principles of Programming Languages (POPL 1982)
Proceedings of the SIGPLAN Symposium on Compiler Construction (SCC 1982)
- 1981
Conference Record of the Eighth Annual Symposium on Principles of Programming Languages (POPL 1981)
- 1980
Conference Record of the Seventh Annual Symposium on Principles of Programming Languages (POPL 1980)
Towards a Formal Description of Ada (Ada 1980)
- 1979
Conference Record of the Sixth Annual Symposium on Principles of Programming Languages (POPL 1979)
Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction (SCC 1979)
- 1978
Conference Record of the Fifth Annual Symposium on Principles of Programming Languages (POPL 1978)
- 1977
Conference Record of the Fourth Symposium on Principles of Programming Languages (POPL 1977)
- 1976
Proceeding of the DoD Sponsored Workshop on Design and Implementation of Programming Languages (Design and Implementation of Programming Languages 1976)
Conference Record of the Third Symposium on Principles of Programming Languages (POPL 1976)
- 1975
Conference Record of the Second Symposium on Principles of Programming Languages (POPL 1975)
- 1973
Conference Record of the First Symposium on Principles of Programming Languages (POPL 1973)