APLAS 2018
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | APLAS 2018 |
| Title | 16th Asian Symposium on Programming Languages and Systems |
| Start date | 2018/12/02 |
| End date | 2018/12/06 |
| Homepage | http://aplas2018.org/ |
| ... | ... |
Topics
- 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