The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as<br>* semantics, logics, foundational theory;<br>* design of languages, type systems and foundational calculi;<br>* domain–specific languages;<br>* compilers, interpreters, abstract machines;<br>* program derivation, synthesis and transformation;<br>* program analysis, verification, model–checking;<br>* logic, constraint, probabilistic and quantum programming;<br>* software security;<br>* concurrency and parallelism;<br>* tools and environments for programming and implementation.<br>Topics are not limited to those discussed in previous symposiums.<br>Papers identifying future directions of programming and those<br>addressing the rapid changes of the underlying computing platforms<br>are especially welcome. Demonstration of systems and tools in the<br>scope of APLAS are welcome to the System and Tool presentations<br>category. Authors concerned about the appropriateness of a topic<br>are welcome to consult with the program chair prior to submission.<br>
Abbrevation
APLAS
City
Singapore
Country
Singapore
Deadline Paper
Start Date
End Date
Abstract