Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings - Lecture Notes in Computer Science
Paperback (23 Nov 2023)
- $74.86
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
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.
Book information
ISBN: | 9789819983100 |
Publisher: | Springer Nature Singapore |
Imprint: | Springer |
Pub date: | 23 Nov 2023 |
DEWEY: | 005.13 |
DEWEY edition: | 23 |
Language: | English |
Number of pages: | 333 |
Weight: | 481g |
Height: | 235mm |
Width: | 155mm |
Spine width: | 18mm |