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.

Bestandsnummer des Verk�ufers 9783031572616

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Programming Languages and Systems (Paperback)
Verlag: Springer International Publishing AG, Cham
Erscheinungsjahr: 2024
Sprache: Englisch
ISBN-10: 3031572610
ISBN-13: 9783031572616
Einband: Paperback
Auflage: 1. Auflage
Zustand: new

�ber diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Online business

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Orders can be returned within 30 days of receipt.

Versandbedingungen

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.