Mohlo by se vám také líbit

Více informací o knize Programming Languages and Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 158 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Compilers

• Plný název: Programming Languages and Systems
• Podnázev: 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
• Autor: Stephanie Weirich
• Jazyk: Angličtina
• Vazba: Brožovaná
• EAN: 9783031572616
• ID: 45117092
• Nakladatelství: Springer, Berlin
• Rozměry: 235 × 155 mm
• Datum vydání: 09. June 2024

---

---

---