Asian Symposium on Programming Languages and Systems
摘要截稿: 2018-06-12
全文截稿: 2018-06-15
开会时间: 2018-12-03
会议难度:
CCF分类: C类
会议地点: Wellington, NZ
Overview
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 theory7
-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
Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission.