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 Advanced Electromagnetics and Scattering Theory by
Cover of the book The Palgrave Handbook of Relational Sociology by
Cover of the book Computational Aspects and Applications in Large-Scale Networks by
Cover of the book Differential Equations: Methods and Applications by
Cover of the book Infinite Matrices and Their Recent Applications by
Cover of the book Operator-Related Function Theory and Time-Frequency Analysis by
Cover of the book Time in Physics by
Cover of the book The Long-Term Fate of Invasive Species by
Cover of the book Excel 2016 for Physical Sciences Statistics by
Cover of the book ENT in Primary Care by
Cover of the book Eurasian Business Perspectives by
Cover of the book CFD Modeling and Simulation in Materials Processing 2018 by
Cover of the book Automatic Processing of Natural-Language Electronic Texts with NooJ by
Cover of the book Ambient Intelligence– Software and Applications – 8th International Symposium on Ambient Intelligence (ISAmI 2017) by
Cover of the book Precarious Labour and the Contemporary Novel 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