TY  - BOOK
AU  - Hur, Chung-Kil.
TI  - Programming Languages and Systems
SN  - 9789819983117
U1  - 5.45 
PY  - 2023///
CY  - Singapore 
PB  - Springer Nature Singapore 
KW  - Artificial intelligence
KW  - Artificial Intelligence
KW  - Compilers (Computer programs)
KW  - Compilers and Interpreters
KW  - Computer programming
KW  - Computer science
KW  - Programming Techniques
KW  - Theory of Computation
N2  - This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023. The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation
UR  - https://doi.org/10.1007/978-981-99-8311-7
ER  -