Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /

Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /

This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, colocated with POPL 2009, the Symposium on Principles of Programming Languages. The 18 revised full papers presente...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gill, Andy (Editor), Swift, Terrance (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Series:	Lecture Notes in Computer Science, 5418
Subjects:	Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general.
Online Access:	Full Text via HEAL-Link

Similar Items

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

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

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

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

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

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

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

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
Published: (2017)

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

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

Practical Aspects of Declarative Languages 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings /
Published: (2004)

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

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

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
Published: (2002)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
by: Carro, Manuel
Published: (2010)

Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Published: (2000)

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
Published: (2019)

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Published: (2009)

Advanced Parallel Processing Technologies 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings /
Published: (2009)

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings /
Published: (2018)

Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
Published: (2003)

Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
Published: (2010)

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings /
Published: (2009)

Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2 /
Published: (2009)

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
Published: (2014)

Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings /
Published: (2009)

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
Published: (2009)

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Published: (2010)

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Published: (2009)

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Published: (2009)

Formal Aspects in Security and Trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France /
Published: (2005)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /
Published: (2009)

SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /
Published: (2009)

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Published: (2013)

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
Published: (2008)

Modern Language Models and Computation Theory with Applications /
by: Meduna, Alexander, et al.
Published: (2017)

Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings /
Published: (2009)

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
Published: (2012)

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

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 /
Published: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών