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 Assessment and Mitigation of Asteroid Impact Hazards by
Cover of the book Next Stop Mars by
Cover of the book Basic Sciences in Anesthesia by
Cover of the book Sexual Orientation and Transgender Issues in Organizations by
Cover of the book Larisa Maksimova on Implication, Interpolation, and Definability by
Cover of the book Computational Intelligence and Quantitative Software Engineering by
Cover of the book Optimization and Control for Systems in the Big-Data Era by
Cover of the book Nuclear Endocrinology by
Cover of the book Intelligent Computing Theories and Application by
Cover of the book Smart Helicopter Rotors by
Cover of the book Dynamic Inequalities On Time Scales by
Cover of the book Soft Solids by
Cover of the book Electronic Control Fires by
Cover of the book Proximity Bias in Investors’ Portfolio Choice by
Cover of the book Fundamentals of Diagnosing and Treating Eating Disorders 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