Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Programming Languages and Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319712376
Publisher: Springer International Publishing Publication: November 17, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319712376
Publisher: Springer International Publishing
Publication: November 17, 2017
Imprint: Springer
Language: English

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.

The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.

The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. 

More books from Springer International Publishing

Cover of the book From Particle Systems to Partial Differential Equations III by
Cover of the book Medical Image Understanding and Analysis by
Cover of the book Back to the Future: Using Marketing Basics to Provide Customer Value by
Cover of the book The Diary of Queen Maria Carolina of Naples, 1781-1785 by
Cover of the book Formation Processes of Maritime Archaeological Landscapes by
Cover of the book Microbial Fuel Cell Technology for Bioelectricity by
Cover of the book Information and Communication Technology in Sudan by
Cover of the book Atlas of Thyroid Ultrasonography by
Cover of the book Stochastic Modeling by
Cover of the book Fault Diagnosis and Fault-Tolerant Control Based on Adaptive Control Approach by
Cover of the book Mindful Medical Practitioners by
Cover of the book Sustainable Business Models by
Cover of the book Myeloid-Derived Suppressor Cells and Cancer by
Cover of the book Assessing the Viva in Higher Education by
Cover of the book Bubble Systems by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy