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 Learning and Knowledge Analytics in Open Education by
Cover of the book Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data by
Cover of the book Islamic Marketing by
Cover of the book Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) by
Cover of the book Dag Prawitz on Proofs and Meaning by
Cover of the book Digital Technology and Organizational Change by
Cover of the book The Nile River by
Cover of the book A Guide to Gastrointestinal Motility Disorders by
Cover of the book Knowledge Management and Information Tools for Building Maintenance and Facility Management by
Cover of the book Case-Based Lessons in the Management of Complex Hepato-Pancreato-Biliary Surgery by
Cover of the book Database and Expert Systems Applications by
Cover of the book Lessons on Synthetic Bioarchitectures by
Cover of the book The Impact of Corruption on International Commercial Contracts by
Cover of the book Emotional Feedback for Mobile Devices by
Cover of the book Non-Self-Adjoint Differential Operators, Spectral Asymptotics and Random Perturbations 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