Paperback. The 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.The 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9783031572616

Contact seller

Report this item

Bibliographic Details

Title: Programming Languages and Systems (Paperback)
Publisher: Springer International Publishing AG, Cham
Publication Date: 2024
Language: English
ISBN 10: 3031572610
ISBN 13: 9783031572616
Binding: Paperback
Edition: 1st Edition
Condition: new

About this title

Synopsis

The 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.

The 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.

From the Back Cover

The 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.

"About this title" may belong to another edition of this title.

Store Description

Online business

Visit Seller's Storefront

Seller's business information

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Sale & Shipping Terms

Terms of Sale

Orders can be returned within 30 days of receipt.

Shipping Terms

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.