Cargando…

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /

This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all f...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Pontelli, Enrico (Editor ), Son, Tran Cao (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:	1st ed. 2015.
Colección:	Programming and Software Engineering, 9131
Temas:	Compilers (Computer programs). Computer programming. Computer science. Software engineering. Compilers and Interpreters. Programming Techniques. Computer Science Logic and Foundations of Programming. Software Engineering.
Acceso en línea:	Texto Completo

Ejemplares similares

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
Publicado: (2016)

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /
Publicado: (2014)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /
Publicado: (2010)

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /
Publicado: (2006)

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /
Publicado: (2008)

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
Publicado: (2005)

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /
Publicado: (2013)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /
Publicado: (2007)

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Publicado: (2011)

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings /
Publicado: (2012)

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Publicado: (2015)

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Publicado: (2015)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Publicado: (2015)

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Publicado: (2015)

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
Publicado: (2016)

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
Publicado: (2005)

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
Publicado: (2009)

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
Publicado: (2013)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
Publicado: (2005)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings /
Publicado: (2013)

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
Publicado: (2008)

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings /
Publicado: (2009)

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
Publicado: (2005)

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publicado: (2016)

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
Publicado: (2015)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /
Publicado: (2010)

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /
Publicado: (2008)

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /
Publicado: (2010)

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings /
Publicado: (2009)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
Publicado: (2005)

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings /
Publicado: (2009)

Model Checking Software 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings /
Publicado: (2012)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /
Publicado: (2006)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /
Publicado: (2008)

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Publicado: (2009)

Principles of Programming Languages
por: Dowek, Gilles
Publicado: (2009)

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
Publicado: (2006)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
Publicado: (2014)

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_5ohs35gf9cbnldpsvgu61ta89f