Programming Languages and Systems

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full...

Descrición completa

Detalles Bibliográficos

Formato:	Online
Idioma:	inglés
Publicado:	Springer Nature 2025
Subjects:	effects functional programming semantics program synthesis session types dependent types quantum programming verification program analysis abstract interpretation
Acceso en liña:	ONIX_20250513_9783031911217_19
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!