Description |
1 online resource (xvii, 465 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 10017 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 10017. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
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 |
Summary |
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 |
Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed October 14, 2016) |
Subject |
Programming languages (Electronic computers) -- Congresses
|
|
Computer programming -- Congresses
|
|
Software Engineering.
|
|
Computer programming -- software development.
|
|
Mathematical theory of computation.
|
|
Programming & scripting languages: general.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Programming -- General.
|
|
Mathematics -- Logic.
|
|
Computers -- Programming Languages -- General.
|
|
Computer programming
|
|
Programming languages (Electronic computers)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Igarashi, Atsushi (Computer engineer), editor.
|
ISBN |
9783319479583 |
|
331947958X |
|
3319479571 |
|
9783319479576 |
|