Programming Languages and Systems:33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and … (Lecture Notes in Computer Science, 14577)
by:Stephanie Weirich (Editor)
Publisher:Springer
Edition:2024th
Publication Date:5 April 2024
Language:English
Print Length:468 pages
ISBN-10:3031572661
ISBN-13:9783031572661
Book 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.
About the Author
From the Back Cover 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.
未经允许不得转载：Wow! eBook » Programming Languages and Systems:33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and … (Lecture Notes in Computer Science, 14577)