Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science #16201)
By:
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2026
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9789819535859
- Related ISBNs:
- 9789819535842
- Publisher:
- Springer Nature Singapore
- Date of Addition:
- 10/30/25
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Alex Potanin