{"product_id":"programming-languages-and-systems-15th-asian-symposium-aplas-2017-suzhou-china-november-27-29-2017-proceedings-9783319712369","title":"Programming Languages and Systems: 15th Asian Symposium, Aplas 2017, Suzhou, China, November 27-29, 2017, Proceedings","description":"\u003cp\u003e • Author(s): Bor-Yuh Evan Chang\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.\u003c\/p\u003e\u003cp\u003e The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284580786327,"sku":"9783319712369","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319712369.webp?v=1769281626","url":"https:\/\/atlanticbooks.com\/products\/programming-languages-and-systems-15th-asian-symposium-aplas-2017-suzhou-china-november-27-29-2017-proceedings-9783319712369","provider":"Atlantic Books","version":"1.0","type":"link"}