Programming Languages and Systems

23rd Asian Symposium, Aplas 2025, Bengaluru, India, October 27-30, 2025, Proceedings. Sprache: Englisch.
kartoniert , 270 Seiten
ISBN 9819535840
EAN 9789819535842
Veröffentlicht 7. Dezember 2025
Verlag/Hersteller Springer Nature Singapore
78,00 inkl. MwSt.
vorbestellbar (Versand mit Deutscher Post/DHL)
Teilen
Beschreibung

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.
The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum Programming and Logic; Program Analysis, Specifications, and Decision Procedures; AI and Compiler Optimisation for Performance.

Das könnte Sie auch interessieren

Birgit Ohmsieder
The Vanishing Half
Taschenbuch
vorbestellbar
10,99
Christian Huber
Solange ein Streichholz brennt
Gebund. Ausgabe
vorbestellbar
23,00
Sophie Passmann
Wie kann sie nur?
Gebund. Ausgabe
vorbestellbar
23,00
Jean-Philippe Kindler
Hier ist der Beginn und das Ende ist dort
Gebund. Ausgabe
vorbestellbar
22,00
Rebekka Endler
Witches, Bitches, It-Girls
Gebund. Ausgabe
vorbestellbar
25,00
Hannah Lühmann
Heimat
Gebund. Ausgabe
vorbestellbar
22,00
Anja Kampmann
Die Wut ist ein heller Stern
Gebund. Ausgabe
vorbestellbar
28,00
Karl Schlögel
Entscheidung in Kiew
Taschenbuch
vorbestellbar
16,00
vorbestellbar
16,99
Wallis Kinney
A Dark and Secret Magic
Gebund. Ausgabe
vorbestellbar
24,00