APLAS 2019
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | APLAS 2019 |
| Title | 17th Asian Symposium on Programming Languages and Systems |
| Start date | 2019/12/02 |
| End date | 2019/12/04 |
| Homepage | https://aplas2019.cs.ui.ac.id/ |
| ... | ... |
Topics
The symposium is devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as
- semantics, logics, foundational theory
- design of languages, type systems, and foundational calculi
- domain-specific languages
- compilers, interpreters, abstract machines
- program derivation, synthesis, and transformation
- program analysis, verification, model-checking
- logic, constraint, probabilistic, and quantum programming
- software security
- concurrency and parallelism
- tools and environments for programming and implementation