|
|
|
|
| LEADER |
02370nmm a2200349 u 4500 |
| 001 |
EB001266073 |
| 003 |
EBX01000000000000000880657 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
161103 ||| eng |
| 020 |
|
|
|a 9783319479583
|
| 100 |
1 |
|
|a Igarashi, Atsushi
|e [editor]
|
| 245 |
0 |
0 |
|a Programming Languages and Systems
|h Elektronische Ressource
|b 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
|c edited by Atsushi Igarashi
|
| 250 |
|
|
|a 1st ed. 2016
|
| 260 |
|
|
|a Cham
|b Springer International Publishing
|c 2016, 2016
|
| 300 |
|
|
|a XVII, 465 p. 100 illus
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Software engineering
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Software Engineering
|
| 653 |
|
|
|a Formal Languages and Automata Theory
|
| 653 |
|
|
|a Machine theory
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 490 |
0 |
|
|a Programming and Software Engineering
|
| 028 |
5 |
0 |
|a 10.1007/978-3-319-47958-3
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-47958-3?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.45
|
| 520 |
|
|
|a 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.
|