Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, 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: 9783319479583
Publisher: Springer International Publishing Publication: October 10, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319479583
Publisher: Springer International Publishing
Publication: October 10, 2016
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.

The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.

 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.

The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.

 

More books from Springer International Publishing

Cover of the book Proceedings of the Thirteenth International Conference on Management Science and Engineering Management by
Cover of the book Magnesium Technology 2017 by
Cover of the book Piezoelectric Vibration Energy Harvesting by
Cover of the book The Protos Mandate by
Cover of the book Understanding Suicide by
Cover of the book Human Resource Management and Technological Challenges by
Cover of the book The Quest for Aqua Vitae by
Cover of the book Continuum Thermodynamics by
Cover of the book Computational Science and Its Applications – ICCSA 2017 by
Cover of the book Business Model Innovation by
Cover of the book Video Bioinformatics by
Cover of the book Public Sector Performance and Development Cooperation in Rwanda by
Cover of the book Rethinking Canadian Economic Growth and Development since 1900 by
Cover of the book Cardiovascular System, Red Blood Cells, and Oxygen Transport in Microgravity by
Cover of the book Toxicological Effects of Perfluoroalkyl and Polyfluoroalkyl Substances 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