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

Descrizione completa

Dettagli Bibliografici

Natura:	Online
Lingua:	inglese
Pubblicazione:	Springer Nature 2025
Soggetti:	effects functional programming semantics program synthesis session types dependent types quantum programming verification program analysis abstract interpretation
Accesso online:	ONIX_20250513_9783031911187_20
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!