Programming Languages and Systems (eBook, PDF)

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
Redaktion: Potanin, Alex

• Format: PDF

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Nature Singapore
• Seitenzahl: 276
• Erscheinungstermin: 30. Oktober 2025
• Englisch
• ISBN-13: 9789819535859
• Artikelnr.: 75784607

Inhaltsangabe

.
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.