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 Differential Rotation in Sun-like Stars from Surface Variability and Asteroseismology by
Cover of the book Ethical Literacies and Education for Sustainable Development by
Cover of the book Fluidized-Bed Reactors: Processes and Operating Conditions by
Cover of the book The Neuropathology of Huntington’s Disease: Classical Findings, Recent Developments and Correlation to Functional Neuroanatomy by
Cover of the book Political Asylum Deceptions by
Cover of the book The Variable-Order Fractional Calculus of Variations by
Cover of the book Engineering Psychology and Cognitive Ergonomics by
Cover of the book Stages of Corporate Social Responsibility by
Cover of the book The Unfree Market and the Law by
Cover of the book Causality and Development by
Cover of the book A Primer on QSAR/QSPR Modeling by
Cover of the book Green and Lean Management by
Cover of the book Information and Software Technologies by
Cover of the book Security Challenges and Approaches in Internet of Things by
Cover of the book Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools 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