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 Light-Emitting Electrochemical Cells by
Cover of the book Revisiting Globalization by
Cover of the book Smart Energy Control Systems for Sustainable Buildings by
Cover of the book Neurath Reconsidered by
Cover of the book Duality Theories for Boolean Algebras with Operators by
Cover of the book Measuring and Analysing the Use of Ontologies by
Cover of the book Outlooks and Insights on Group Decision and Negotiation by
Cover of the book Extreme States of Matter by
Cover of the book Arts-based Methods and Organizational Learning by
Cover of the book Inelastic Behavior of Materials and Structures Under Monotonic and Cyclic Loading by
Cover of the book Oscar Wilde and the Cultures of Childhood by
Cover of the book Management and Therapy of Late Pregnancy Complications by
Cover of the book Biotechnology of Extremophiles: by
Cover of the book Ascorbic Acid in Plant Growth, Development and Stress Tolerance by
Cover of the book Mathematics Education in the Early Years 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