长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

会议文集

文集名	Programming Languages and Systems
会议名	34th European Symposium on Programming (ESOP 2025), Held as Part of the International Joint Conferences on Theory and Practice of Software (ETAPS 2025)
中译名	《第三十四届欧洲编程专题研讨会，卷1》
会议日期	May 3-8, 2025
会议地点	Hamilton, ON, Canada
出版年	2025
馆藏号	356891

题名	作者	出版年
The Vanilla Sequent Calculus is Call-by-Value	Beniamino Accattoli	2025
Formulas as Processes, Deadlock-Freedom as Choreographies	Matteo Acclavio; Giulia Manara; Fabrizio Montesi	2025
Sufficient Conditions for Robustness of RDMA Programs	Guillaume Ambal; Ori Lahav; Azalea Raad	2025
Constructive characterisations of the must-preorder for asynchrony	Giovanni Bernardi; Ilaria Castellani; Paul Laforgue; Leo Stefanesco	2025
Abstraction of memory block manipulations by symbolic loop folding	Jerome Boillot; Jerome Feret	2025
Cognacy Queries over Dependence Graphs for Transparent Visualisations	Joe Bond; Cristina David; Minh Nguyen; Dominic Orchard; Roly Perera	2025
An abstract, certified account of operational game semantics	Peio Borthelle; Tom Hirschowitz; Guilhem Jaber; Yannick Zakowski	2025
Artifact Report: an Abstract, Certified Account of Operational Game Semantics	Peio Borthelle; Tom Hirschowitz; Guilhem Jaber; Yannick Zakowski	2025
Neural Network Verification is a Programming Language Challenge	Lucas C. Cordeiro; Matthew L. Daggitt; Julien Girard-Satabin; Omri Isac; Taylor T. Johnson; Guy Katz; Ekaterina Komendantskaya; Augustin Lemesle; Edoardo Manino; Artjoms Sinkarovs; Haoze Wu	2025
Stratified Type Theory	Jonathan Chan; Stephanie Weirich	2025
Coverage Semantics for Dependent Pattern Matching	Joseph Eremondi; Ohad Kammar	2025
Variable Elimination as Rewriting in a Linear Lambda Calculus	Thomas Ehrhard; Claudia Faggian; Michele Pagani	2025
A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model	Weijie Fan; Hongjin Liang; Xinyu Feng; Hanru Jiang	2025
Iso-Recursive Multiparty Sessions and Their Automated Verification	Marco Giunti; Nobuko Yoshida	2025
Verifying Algorithmic Versions of the Lovasz Local Lemma	Rongen Lin; Hongjin Liang; Xinyu Feng	2025
Elucidating Type Conversions in SQL Engines	Wenjia Ye; Matias Toro; Claudio Gutierrez; Bruno C. d. S. Oliveira; Eric Tanter	2025