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 Renewable Energy in the Service of Mankind Vol I by
Cover of the book Learning Technology for Education in Cloud by
Cover of the book Black Hole Information and Thermodynamics by
Cover of the book Smart Grid and Innovative Frontiers in Telecommunications by
Cover of the book Extracellular Matrix for Tissue Engineering and Biomaterials by
Cover of the book Mechanics of Composite, Hybrid and Multifunctional Materials, Volume 5 by
Cover of the book Smart Grid Security by
Cover of the book Self-Concept Clarity by
Cover of the book Stochastic Processes by
Cover of the book Landside Accessibility of Airports by
Cover of the book Smart Cities by
Cover of the book Computing Platforms for Software-Defined Radio by
Cover of the book Robust Power System Frequency Control by
Cover of the book Information and Communication Technologies in Tourism 2017 by
Cover of the book Regenerative Medicine - from Protocol to Patient 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