{"product_id":"9789819983100","title":"Lecture Notes in Computer Science: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings\u003c\/h1\u003e \u003ch2\u003eHur, Chung-Kil\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cdiv\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.\u003cbr\u003e\n\u003c\/div\u003e\u003cdiv\u003e\n\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\n\u003cdiv\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.\u003c\/div\u003e\n\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2023-11-23\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9789819983100\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-981-99-8311-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 333\u003c\/p\u003e ","brand":"Springer Nature Singapore","offers":[{"title":"Default Title","offer_id":45378260893836,"sku":"9789819983100","price":58.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9789819983100.jpg?v=1774023394","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9789819983100","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}