APLAS 2018

From OPENRESEARCH i5 copy Wiki
Revision as of 17:47, 13 January 2021 by Wf (talk | contribs) (pushed from or by wikipush)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Event
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
Retrieved from "https://confident.dbis.rwth-aachen.de/ori5/index.php?title=APLAS_2018&oldid=517"