Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings
Ez a könyv a 2017 novemberében a kínai Szucsouban megrendezett 15. ázsiai programozási nyelvek és rendszerek szimpóziumának, az APLAS 2017-nek a beszámolója. A kötetben bemutatott 24 dolgozatot gondosan átnézték és 56 pályázatból választották ki. Ezek tematikus szekciókba szerveződtek, amelyek a következő neveket viselik: biztonság.
Halom és ekvivalencia érvelés.
Párhuzamosság és verifikáció.
Tartományspecifikus nyelvek.
Szemantika.
És numerikus következtetés. A kötet két meghívott előadást is tartalmaz teljes terjedelemben.
