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.

Codice articolo 9783031572616

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Programming Languages and Systems (Paperback)
Editore: Springer International Publishing AG, Cham
Data di pubblicazione: 2024
Lingua: Inglese
ISBN 10: 3031572610
ISBN 13: 9783031572616
Rilegatura: Paperback
Edizione: prima edizione
Condizione: new

Descrizione articolo

Riassunto

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.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Online business

Visita la pagina della libreria

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

Orders can be returned within 30 days of receipt.

Condizioni di spedizione

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.