Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings
Niniejsza książka stanowi materiały z 15. Azjatyckiego Sympozjum Języków i Systemów Programowania, APLAS 2017, które odbyło się w Suzhou w Chinach w listopadzie 2017 roku.
24 referaty przedstawione w tym tomie zostały starannie zrecenzowane i wybrane spośród 56 nadesłanych zgłoszeń. Zostały one podzielone na sekcje tematyczne o nazwach: bezpieczeństwo.
Wnioskowanie o stercie i równoważności.
Współbieżność i weryfikacja.
Języki specyficzne dla domeny.
Semantyka.
Wnioskowanie numeryczne. Tom zawiera również dwie zaproszone prelekcje w pełnej długości.
