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

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

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 sub...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Shan, Chung-chien (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2013
Edition:1st ed. 2013
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Programming and software engineering ; 8301.
LNCS sublibrary Programming and software engineering 8301
Subjects:
Compilers (Computer programs)
Computer logic
Computer science
Logic, Symbolic and mathematical
Machine theory
Programming languages (Electronic computers)
Software engineering
Compilers and Interpreters
Programming Languages, Compilers, Interpreters
Computer Science Logic and Foundations of Programming
Computer Science
Computer Science, general
Formal Languages and Automata Theory
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items