Programming Languages and Systems
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Nature
Springer Nature Switzerland
Springer Nature Switzerland
Abstract
Description
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.
Keywords
effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters