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 Dismantling Race in Higher Education by
Cover of the book Doing Business in ASEAN Markets by
Cover of the book The Polemics of C.L.R. James and Contemporary Black Activism by
Cover of the book Model and Data Engineering by
Cover of the book International Perspectives on Older Adult Education by
Cover of the book Frederic W. Harmer: A Scientific Biography by
Cover of the book Evidence-Based Cosmetic Breast Surgery by
Cover of the book Renewing Liberalism by
Cover of the book Event-Triggered Sliding Mode Control by
Cover of the book New Trends in Medical and Service Robots by
Cover of the book Green's Kernels and Meso-Scale Approximations in Perforated Domains by
Cover of the book Corporate Social Responsibility in India by
Cover of the book Distributed Leadership by
Cover of the book Collectivity and Power on the Internet by
Cover of the book Cyber Security. Simply. Make it Happen. 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