EAN: 9783319479576

PROGRAMMING LANGUAGES AND SYSTEMS KARTONIERT (TB)

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.

Aktuelle Preise zur EAN 9783319479576

Produktinformationen zur 9783319479576