BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Programming Languages and Systems
23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings
Springer
ISBN 9789819535842
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2026
Umfang: xx, 263 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 9789819535842
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
Produktbeschreibung
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.
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Rezensionen
