Format:
Online-Ressource (XVII, 465 p. 100 illus, online resource)
ISBN:
9783319479583
Series Statement:
Lecture Notes in Computer Science 10017
Content:
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
Content:
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
Additional Edition:
ISBN 9783319479576
Additional Edition:
Druckausg. ISBN 978-3-319-47957-6
Additional Edition:
Printed edition ISBN 9783319479576
Language:
English
Keywords:
Programmiersprache
;
Formale Methode
;
Programmanalyse
;
Programmverifikation
;
Programmierlogik
;
Konferenzschrift
DOI:
10.1007/978-3-319-47958-3
URL:
Volltext
(lizenzpflichtig)
Bookmarklink