Opening book details…
Can I read Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings (Lecture Notes in Computer Science (7078)) on EtoBox?
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings (Lecture Notes in Computer Science (7078)) by Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.) is a nonfiction available to read on EtoBox.
What is Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings (Lecture Notes in Computer Science (7078)) about?
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 selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic. Erscheinungsdatum: 18.11.2011
Who reads Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings (Lecture Notes in Computer Science (7078))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2011
- Language
- EN
- ISBN
- 9783642253188
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Language Learning
More by Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
Browse all works by Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
Similar books
- Programming Languages And Systems: 10th Asian Symposium, Aplas 2012, Kyoto, Japan, December 11-13, 2012, Proceedings (lecture Notes In Computer Science) — Jan Vitek (auth.), Ranjit Jhala, Atsushi Igarashi (2012)
- Programming Languages And Systems: 7th Asian Symposium, Aplas 2009, Seoul, Korea, December 14-16, 2009, Proceedings (lecture Notes In Computer Science / Programming And Software Engineering) — Koen Claessen (auth.), Zhenjiang Hu (2009)
- Programming Languages And Systems: 12th Asian Symposium, Aplas 2014, Singapore, Singapore, November 17-19, 2014, Proceedings (lecture Notes In Computer Science) — Jacques Garrigue (2014)
- Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings — Filippo Bonchi, Georgiana Caltais, Damien Pous (auth.), Chung-chieh Shan (2013)
- Programming Languages And Systems: 4th Asian Symposium, Aplas 2006, Sydney, Australia, November 8-10, 2006, Proceedings (lecture Notes In Computer Science) — Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny (auth.), Naoki Kobayashi (2006)
- Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings (Lecture Notes in Computer Science) — Joxan Jaffar (auth.), Wei-Ngan Chin (2004)
