Buch, Englisch, 316 Seiten, Format (B × H): 155 mm x 235 mm
24th Asian Symposium, APLAS 2026, Hong Kong, China, December 1–4, 2026, Proceedings
Buch, Englisch, 316 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-981-9283-86-6
Verlag: Springer
This book constitutes the proceedings of the 24th Asian Symposium on Programming Languages and Systems, APLAS 2026, held in Hong Kong, China, during December 1–4, 2026.
The 15 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: Type Systems and Categorical Semantics; Static Analysis and Program Verification; WebAssembly Semantics and Analysis; Language Implementation and Metaprogramming; Automata and Process Algebra.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler




