Programovacie jazyky a systémy: 15. ázijské sympózium, Aplas 2017, Suzhou, Čína, 27. - 29. novembra 2017, zborník

Pôvodný názov:

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

Obsah knihy:

Táto kniha predstavuje zborník z 15. ázijského sympózia o programovacích jazykoch a systémoch APLAS 2017, ktoré sa konalo v novembri 2017 v čínskom meste Suzhou. Dvadsaťštyri príspevkov prezentovaných v tomto zborníku bolo starostlivo preskúmaných a vybraných z 56 prihlásených príspevkov. Boli usporiadané do tematických sekcií s názvami: bezpečnosť.

Hromada a zdôvodňovanie ekvivalencie.

Súbežnosť a verifikácia.

Doménovo špecifické jazyky.

Sémantika.

A numerické zdôvodňovanie. Zborník obsahuje aj dve pozvané prednášky v rozsahu celého príspevku.