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

Softcover

ISBN 10: 3031572610 ISBN 13: 9783031572616

Verlag: Springer, 2024

Inhaltsangabe

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

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2024
• Sprache: Englisch
• ISBN 10: 3031572610
• ISBN 13: 9783031572616
• Einband: Tapa blanda
• Anzahl der Seiten: 358
• Herausgeber: Weirich Stephanie
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland