{"product_id":"programming-languages-and-systems-21st-asian-symposium-aplas-2023-taipei-taiwan-november-26-29-2023-proceedings-9789819983100","title":"Programming Languages and Systems: 21st Asian Symposium, Aplas 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings","description":"\u003cp\u003e • Author(s): Chung-Kil Hur\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003eThis 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. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eThe 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.","brand":"Springer","offers":[{"title":"Paperback","offer_id":45282680864919,"sku":"9789819983100","price":4407.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9789819983100.webp?v=1769302859","url":"https:\/\/atlanticbooks.com\/products\/programming-languages-and-systems-21st-asian-symposium-aplas-2023-taipei-taiwan-november-26-29-2023-proceedings-9789819983100","provider":"Atlantic Books","version":"1.0","type":"link"}