Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... April 6–11, 2024, Proceedings, Part I - Couverture souple

 
9783031572616: Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and ... April 6–11, 2024, Proceedings, Part I
Couverture souple
ISBN 10 : 3031572610 ISBN 13 : 9783031572616
Editeur : Springer International Publishing AG, 2024

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer International Publishing AG
Date d'édition
2024
Langue
anglais
ISBN 10 
3031572610
ISBN 13 
9783031572616
Reliure
Broché
Numéro d'édition
1
Nombre de pages
340
Éditeur
Weirich Stephanie
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne