Programming Languages and Systems

Stephanie Weirich

ISBN 10: 3031572661 / ISBN 13: 9783031572661

Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024

Beschreibung

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Bestandsnummer des Verkäufers 9783031572661

Bibliografische Details

• Titel: Programming Languages and Systems
• Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2024
• Erscheinungsjahr: 2024
• Sprache: Englisch
• ISBN-10: 3031572661
• ISBN-13: 9783031572661
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

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.