Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

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

Celý popis

Podrobná bibliografie

Hlavní autor:	Weirich, Stephanie
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2024 Springer International Publishing AG
Vydání:	1
Edice:	Lecture Notes in Computer Science
Témata:	abstract interpretation Compilers and interpreters Computer programming / software engineering Computing and Information Technology dependent types effects functional programming program analysis program synthesis Programming and scripting languages: general quantum programming semantics session types verification
ISBN:	9783031572616, 3031572610, 3031572629, 9783031572623
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!