Programming Languages and Systems

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

Ful tanımlama

Detaylı Bibliyografya

Materyal Türü:	Online
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Springer Nature 2024
Konular:	effects functional programming semantics program synthesis session types dependent types quantum programming verification program analysis abstract interpretation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
Online Erişim:	ONIX_20240523_9783031572623_24
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!