{"product_id":"9789819283866","title":"Programming Languages and Systems 24th Asian Symposium, APLAS 2026, Hong Kong, China, December 1–4, 2026, Proceedings","description":"\u003ch3\u003eLecture Notes in Computer Science\u003c\/h3\u003e\u003ch1\u003eProgramming Languages and Systems\u003c\/h1\u003e\u003ch2\u003e24th Asian Symposium, APLAS 2026, Hong Kong, China, December 1–4, 2026, Proceedings\u003c\/h2\u003e\u003ch3\u003eLionel Parreaux | Peter Thiemann\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Programming \/ Compilers\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003eThis book constitutes the proceedings of the 24th Asian Symposium on Programming Languages and Systems, APLAS 2026, held in Hong Kong, China, during December 1–4, 2026.\u003c\/p\u003e\r\n\u003cp\u003eThe 15 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: Type Systems and Categorical Semantics; Static Analysis and Program Verification; WebAssembly Semantics and Analysis; Language Implementation and Metaprogramming; Automata and Process Algebra.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e07 February 2027\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer Nature Singapore\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9789819283866\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer Nature Singapore","offers":[{"title":"Default Title","offer_id":63412938768524,"sku":"9789819283866","price":67.49,"currency_code":"USD","in_stock":true}],"url":"https:\/\/lateknightbooks.com\/products\/9789819283866","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}