Programming Languages and Systems  14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /  [electronic resource] : 
edited by Atsushi Igarashi. 
 - XVII, 465 p. 100 illus.  online resource. 
 - Lecture Notes in Computer Science,  10017  0302-9743 ; .
 - Lecture Notes in Computer Science,  10017 .
<br/><br/>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. 
<br/><br/> 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. . 
<br/><br/><label>ISBN: </label>9783319479583 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-47958-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.<br/>Computer Science.<br/>Programming Languages, Compilers, Interpreters.<br/>Software Engineering.<br/>Logics and Meanings of Programs.<br/>Mathematical Logic and Formal Languages.
<br/><br/><label>LC Class. No.: </label>QA76.7-76.73 QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.13