Imatge de la portada

Programming Languages and Systems

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 pap...

Descripció completa

Guardat en:
Format: Online
Idioma:anglès
Publicat: Springer Nature 2024
Matèries:
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::UMC Compilers and interpreters
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
Accés en línia:ONIX_20240523_9783031572623_24
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Sumari: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.

Ítems similars