1 option
Programming Languages and Systems : 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings / edited by Alex Potanin.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Potanin, Alex.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 16201
- Language:
- English
- Subjects (All):
- Compilers (Computer programs).
- Computer programming.
- Computer science.
- Artificial intelligence.
- Compilers and Interpreters.
- Programming Techniques.
- Theory of Computation.
- Artificial Intelligence.
- Local Subjects:
- Compilers and Interpreters.
- Programming Techniques.
- Theory of Computation.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (475 pages)
- Edition:
- 1st ed. 2026.
- Place of Publication:
- Singapore : Springer Nature Singapore : Imprint: Springer, 2026.
- Summary:
- 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.
- Contents:
- Type Systems, Safety, and Verification.
- Memory Safety: Uniqueness as Separation.
- Fair Termination for Resource-Aware Active Objects.
- A Formal Foundation for Equational Reasoning on Probabilistic Programs.
- Control, Effects, and Decidability.
- Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers.
- Expressive Power of One-Shot Control Operators and Coroutines.
- Positive Sharing and Abstract Machines.
- Quantum Programming and Logic.
- IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.
- A Quantum-Control Lambda-Calculus with Multiple Measurement Bases.
- Program Analysis, Specifications, and Decision Procedures.
- Checking Consistency of Event-driven Traces.
- Specification Inference modulo Oracles for Database-backed Web Applications.
- Decision Procedures for A Theory of String Sequences.
- AI and Compiler Optimisation for Performance.
- ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework.
- Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Other Format:
- Print version: Potanin, Alex Programming Languages and Systems
- ISBN:
- 9789819535859
- OCLC:
- 1561173973
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.