{"product_id":"programming-languages-and-systems-33rd-european-symposium-on-programming-esop-2024-held-as-part-of-the-european-joint-conferences-on-theory-and-pra-9783031572661","title":"Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Pra","description":"\u003cp\u003e • Author(s): Stephanie Weirich\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003eThe two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.\u003cbr\u003eThe 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45278216618135,"sku":"9783031572661","price":2938.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031572661.webp?v=1769290366","url":"https:\/\/atlanticbooks.com\/products\/programming-languages-and-systems-33rd-european-symposium-on-programming-esop-2024-held-as-part-of-the-european-joint-conferences-on-theory-and-pra-9783031572661","provider":"Atlantic Books","version":"1.0","type":"link"}