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 II

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

Full description

Bibliographic Details

Main Author:	Weirich, Stephanie
Format:	eBook
Language:	English
Published:	Cham Springer Nature 2024 Springer International Publishing AG
Edition:	1
Series:	Lecture Notes in Computer Science
Subjects:	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:	303157267X, 9783031572678, 9783031572661, 3031572661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!