Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	April 2026
Genre:	EDV / Informatik
	Abstract interpretation / compilation / Compiler und Übersetzer / Compilers and Interpreters / Concurrency / dependent types / effects / Functional programming / Open Access / program analysis / Program synthesis / Programming Language / programming language theory / Programming paradigms and styles / quantum programming / Semantics / Session Types / type systems / Verification mehr...
ISBN:	9783032227195
EAN-Code:	9783032227195
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	494
Illustration:	XVI, 494 p. 193 illus., 89 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026. The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and selected from 94 submissions. They deal with fundamental issues in the specification, design, analysis and implementation of programming languages and systems, such as programming paradigms and styles; methods and tools to write and specify programs and languages; methods and tools for reasoning about programs; programming systems design and implementation.