Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings (Paperback, 1st ed. 2015)

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Programming and Software Engineering, 9458
Release date:	December 2015
First published:	2015
Editors:	Xinyu Feng • Sung-Woo Park
Dimensions:	235 x 155 x 27mm (L x W x T)
Format:	Paperback
Pages:	506
Edition:	1st ed. 2015
ISBN-13:	978-3-319-26528-5
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-319-26528-8
Barcode:	9783319265285

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!