Programming Languages and Systems  14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /  [electronic resource] : 
edited by Atsushi Igarashi. 
 - 1st ed. 2016. 
 - XVII, 465 p. 100 illus.  online resource. 
 - Programming and Software Engineering,  10017  2945-9168 ; .
 - Programming and Software Engineering,  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/>Compilers (Computer programs).<br/>Software engineering.<br/>Computer science.<br/>Machine theory.<br/>Compilers and Interpreters.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45