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 Q’eqchi’ Maya Reproductive Ethnomedicine by
Cover of the book The Two Sides of Innovation by
Cover of the book Information Technology, Systems Research, and Computational Physics by
Cover of the book Managing Employee Well-being and Resilience for Innovation by
Cover of the book From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition by
Cover of the book Information Society Development through ICT Market Strategies by
Cover of the book Conflict Resolution in Water Resources and Environmental Management by
Cover of the book Quantification of Climate Variability, Adaptation and Mitigation for Agricultural Sustainability by
Cover of the book Chaos: Concepts, Control and Constructive Use by
Cover of the book Introduction to the Analytic Hierarchy Process by
Cover of the book The Maize Genome by
Cover of the book Advances of Basic Science for Second Generation Bioethanol from Sugarcane by
Cover of the book Human Security and Cross-Border Cooperation in East Asia by
Cover of the book The Armenian Church of Famagusta and the Complexity of Cypriot Heritage by
Cover of the book Biopsy Diagnosis of Peripheral Neuropathy 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