Języki i systemy programowania: 15th Asian Symposium, Aplas 2017, Suzhou, Chiny, 27-29 listopada 2017 r., Proceedings

Oryginalny tytuł:

Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings

Zawartość książki:

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.