Programmiersprachen und -systeme: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings

Originaltitel:

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

Inhalt des Buches:

Dieses Buch ist der Tagungsband des 15. Asiatischen Symposiums für Programmiersprachen und -systeme, APLAS 2017, das im November 2017 in Suzhou, China, stattfand.

Die 24 in diesem Band vorgestellten Beiträge wurden sorgfältig geprüft und aus 56 Einreichungen ausgewählt. Sie wurden in thematischen Abschnitten organisiert: Sicherheit.

Heap and equivalence reasoning.

Gleichzeitigkeit und Verifikation.

Domänenspezifische Sprachen.

Semantik.

Und numerische Argumentation. Der Band enthält auch zwei eingeladene Vorträge in voller Papierlänge.

Weitere Daten des Buches:

• ISBN: 9783319712369
• Autor: Evan Chang Bor-Yuh
• Verlag: Springer Nature
• Sprache: Englisch
• Einband: Taschenbuch