Skip to main navigation Skip to search Skip to main content

Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings

Research output: Book/Report › Edited Book › peer-review

Abstract

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.
Original languageEnglish
Place of PublicationSingapore
PublisherSpringer
Number of pages276
ISBN (Electronic)978-981-95-3585-9
ISBN (Print)978-981-95-3584-2
DOIs
Publication statusPublished - 2026
Event23rd Asian Symposium on Programming Languages and Systems, APLAS 2025 - Bengaluru, India
Duration: 27 Jun 2025 → 30 Jun 2025

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer
Volume16201
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameAPLAS: Asian Symposium on Programming Languages and Systems
No.2025

Access to Document

Fingerprint

Dive into the research topics of 'Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings'. Together they form a unique fingerprint.
View full fingerprint
  • 1 Foreword/postscript

  • Preface: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025

    Potanin, A., 2026, Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings. Potanin, A. (ed.). Singapore: Springer, p. v-vi (Lecture Notes in Computer Science (LNCS); vol. 16201).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › peer-review

Cite this