Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, Band 16201) - Softcover

 
9789819535842: Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, Band 16201)
Softcover
ISBN 10: 9819535840 ISBN 13: 9789819535842
Verlag: Springer, 2025

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
9819535840
ISBN 13 
9789819535842
Einband
Taschenbuch
Anzahl der Seiten
288
Herausgeber
Potanin Alex
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland