Programming languages and systems 35th European Symposium on Programming, ESOP 2026 held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026 Turin, Italy, April 11-16, 2026 proceedings Part I Robbert Krebbers, editors

Format:

Book

Conference/Event

Contributor:

Krebbers, Robbert, editor.

Conference Name:

European Symposium on Programming (35th : 2026 : Turin, Italy)

Series:

Lecture notes in computer science ; 16501.

Lecture notes in computer science 1611-3349 16501

Language:

English

Subjects (All):

Programming languages (Electronic computers).

Systems programming (Computer science).

Genre:

Conference papers and proceedings

Physical Description:

1 online resource

Place of Publication:

Cham, Switzerland Springer 2026

Contents:

Formal methods meet digital twins : challenges and opportunities / Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, and Silvia Lizeth Tapia Tarifa

Contextual metaprogramming for session types / Pedro Ângelo, Atsushi Igarashi, Yuito Murase, and Vasco T. Vasconcelos

Specifying and verifying RDMA synchronisation / Guillaume Ambal, Max Stupple, Brijesh Dongol, and Azalea Raad

In Cantor space no one can hear you stream / Martin Baillon, Assia Mahboubi, and Pierre-Marie Pédrot

Deciding not to decide : sound and complete effect inference in the presence of higher-rank polymorphism / Patrycja Balik, Szymon Jedras, and Piotr Polesiuk

Recursive logical relations for intuitionistic linear logic session types / Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao

Code generation via meta-programming in dependently typed proof assistants / Mathis Bouverot-Dupuis and Yannick Forster

Linear effects, exceptions, and resource safety : a Curry-Howard correspondence for destructors / Sidney Congard, Guillaume Munch-Maccagnoni, and Rémi Douence

Rely-guarantee is coinductive : a proof-centered investigation of inductively approximated coinduction / John Derrick, Chelsea Edmonds, Andrei Popescu, and Jamie Wright

Reduction for structured concurrent programs / Namratha Gangamreddypalli, Constantin Enea, and Shaz Qadeer

Specification-driven generation of summaries for symbolic execution / Rafael Gonçalves, Frederico Ramos, Pedro Adão, and José Fragoso Santos

Generating functions meet occupation measures : invariant synthesis for probabilistic loops / Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, and Tobias Winkler

A program logic for under-approximating worst-case resource usage / Ziyue Jin and Di Wang

Causal-broadcast memory / Amir Karniel and Ori Lahav

A category-theoretic framework for dependent effect systems / Satoshi Kura, Marco Gaboardi, Taro Sekiyama, and Hiroshi Unno

Validating quantum state preparation programs / Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, and Alex Potanin

The memorist tale : every thunk, every cost, all at once / Xing Li, Yao Li, Peter Schachte, and Christine Rizkallah

Notes:

Includes bibliographical references and index

Online resource; title from PDF title page (Springer Nature Link, viewed April 14, 2026)

Other Format:

Print version European Symposium on Programming (35th : 2026 : Turin, Italy) Programming languages and systems

ISBN:

9783032227201

3032227208

OCLC:

1584704992

Access Restriction:

Some versions Open access versions available from some providers open access