Limbaje și sisteme de programare: 15th Asian Symposium, Aplas 2017, Suzhou, China, 27-29 noiembrie 2017, Proceedings

Titlul original:

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

Conținutul cărții:

Această carte constituie lucrările celui de-al 15-lea Simpozion asiatic privind limbajele și sistemele de programare, APLAS 2017, care a avut loc în Suzhou, China, în noiembrie 2017.

Cele 24 de lucrări prezentate în acest volum au fost atent revizuite și selectate din 56 de propuneri. Acestea au fost organizate în secțiuni tematice denumite: Securitate.

Heap și raționament de echivalență.

Concurrență și verificare.

Limbaje specifice domeniului.

Semantică.

Și raționament numeric. Volumul conține, de asemenea, două discursuri invitate în format de document complet.