Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . II (Lecture Notes in Computer Science, 14577)

ISBN 10: 3031572661 / ISBN 13: 9783031572661

Edité par Springer, 2024

A propos de cet article

N° de réf. du vendeur I-9783031572661

Détails bibliographiques

• Titre: Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . II (Lecture Notes in Computer Science, 14577)
• Éditeur: Springer
• Date de parution: 2024
• Langue: anglais
• ISBN à 10 chiffres: 3031572661
• ISBN à 13 chiffres: 9783031572661
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

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.