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

Cijeli opis

Bibliografski detalji

Format:	Online
Jezik:	engleski
Izdano:	Springer Nature 2025
Teme:	effects functional programming semantics program synthesis session types dependent types quantum programming verification program analysis abstract interpretation
Online pristup:	ONIX_20250513_9783031911217_19
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!