Copertina

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

Salvato in:
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_9783031911217_19
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi: Programming Languages and Systems

Documenti analoghi