Linguaggi e sistemi di programmazione: 15° simposio asiatico, Aplas 2017, Suzhou, Cina, 27-29 novembre 2017, Atti

Titolo originale:

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

Contenuto del libro:

Questo libro costituisce gli atti del 15° Asian Symposium on Programming Languages and Systems, APLAS 2017, tenutosi a Suzhou, Cina, nel novembre 2017.

I 24 lavori presentati in questo volume sono stati attentamente esaminati e selezionati tra 56 contributi. Sono stati organizzati in sezioni tematiche denominate: sicurezza.

Ragionamento su heap ed equivalenza.

Concorrenza e verifica.

Linguaggi specifici per il dominio.

Semantica.

E ragionamento numerico. Il volume contiene anche due interventi su invito in formato full paper.