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á bibliografia

Hlavný autor:	Weirich, Stephanie
Médium:	E-kniha
Jazyk:	English
Vydavateľské údaje:	Cham Springer Nature 2024 Springer International Publishing AG
Vydanie:	1
Edícia:	Lecture Notes in Computer Science
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!