Cargando…

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Yang, Hongseok (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:	1st ed. 2011.
Colección:	Programming and Software Engineering, 7078
Temas:	Compilers (Computer programs). Software engineering. Computer science. Data protection. Computer programming. Machine theory. Compilers and Interpreters. Software Engineering. Computer Science Logic and Foundations of Programming. Data and Information Security. Programming Techniques. Formal Languages and Automata Theory.
Acceso en línea:	Texto Completo

Ejemplares similares

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /
Publicado: (2012)

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

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Publicado: (2014)

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
Publicado: (2016)

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /
Publicado: (2013)

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /
Publicado: (2007)

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /
Publicado: (2012)

Generic and Indexed Programming
Publicado: (2012)

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /
Publicado: (2006)

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
Publicado: (2016)

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /
Publicado: (2006)

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /
Publicado: (2011)

Formal Methods: Foundations and Applications 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /
Publicado: (2011)

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
Publicado: (2012)

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /
Publicado: (2005)

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Publicado: (2011)

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /
Publicado: (2008)

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
Publicado: (2015)

Tests and Proofs 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /
Publicado: (2011)

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers /
Publicado: (2013)

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /
Publicado: (2008)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
Publicado: (2010)

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings /
Publicado: (2009)

Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures /
Publicado: (2012)

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /
Publicado: (2011)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
Publicado: (2006)

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Publicado: (2013)

Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings /
Publicado: (2011)

Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings /
Publicado: (2011)

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
Publicado: (2009)

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
Publicado: (2005)

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicado: (2011)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
Publicado: (2013)

Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings /
Publicado: (2011)

Theoretical Introduction to Programming
por: Mills, Bruce Ian
Publicado: (2006)

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
Publicado: (2015)

Application and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings /
Publicado: (2011)

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Publicado: (2016)

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings /
Publicado: (2011)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
Publicado: (2007)