Items related to Programming Languages and Systems: 8th Asian Symposium,...

Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - Softcover

 
9783642171659: Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Softcover
ISBN 10: 3642171656 ISBN 13: 9783642171659
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 3642171656
  • ISBN 13 9783642171659
  • BindingPaperback
  • LanguageEnglish
  • Number of pages470
  • EditorUeda Kazunori

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642171635: Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings (Lecture Notes in Computer Science, 6461)

Featured Edition

ISBN 10:  364217163X ISBN 13:  9783642171635
Publisher: Springer, 2010
Softcover