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 Strong Nonlinear Oscillators by
Cover of the book Formulating Principal-Agent Service Contracts for a Revenue Generating Unit by
Cover of the book Science Fiction, Ethics and the Human Condition by
Cover of the book Management of Water, Energy and Bio-resources in the Era of Climate Change: Emerging Issues and Challenges by
Cover of the book Physical Layer Security in Wireless Cooperative Networks by
Cover of the book Image Processing and Communications Challenges 9 by
Cover of the book Global Perspectives on Family Life Education by
Cover of the book Ferromagnetic Microwire Composites by
Cover of the book Wie das Leben spricht: Narrativität als radikale Lebensphänomenologie by
Cover of the book Computer Security -- ESORICS 2015 by
Cover of the book Active Ageing and Physical Activity by
Cover of the book Behavioral Economics and Bioethics by
Cover of the book Social Networks and the Life Course by
Cover of the book Bio-Inspired Models of Network, Information, and Computing Systems by
Cover of the book Layered Two-Dimensional Heterostructures and Their Tunneling Characteristics 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