会议文集


文集名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-ValueBeniamino Accattoli2025
Formulas as Processes, Deadlock-Freedom as ChoreographiesMatteo Acclavio; Giulia Manara; Fabrizio Montesi2025
Sufficient Conditions for Robustness of RDMA ProgramsGuillaume Ambal; Ori Lahav; Azalea Raad2025
Constructive characterisations of the must-preorder for asynchronyGiovanni Bernardi; Ilaria Castellani; Paul Laforgue; Leo Stefanesco2025
Abstraction of memory block manipulations by symbolic loop foldingJerome Boillot; Jerome Feret2025
Cognacy Queries over Dependence Graphs for Transparent VisualisationsJoe Bond; Cristina David; Minh Nguyen; Dominic Orchard; Roly Perera2025
An abstract, certified account of operational game semanticsPeio Borthelle; Tom Hirschowitz; Guilhem Jaber; Yannick Zakowski2025
Artifact Report: an Abstract, Certified Account of Operational Game SemanticsPeio Borthelle; Tom Hirschowitz; Guilhem Jaber; Yannick Zakowski2025
Neural Network Verification is a Programming Language ChallengeLucas C. Cordeiro; Matthew L. Daggitt; Julien Girard-Satabin; Omri Isac; Taylor T. Johnson; Guy Katz; Ekaterina Komendantskaya; Augustin Lemesle; Edoardo Manino; Artjoms Sinkarovs; Haoze Wu2025
Stratified Type TheoryJonathan Chan; Stephanie Weirich2025
Coverage Semantics for Dependent Pattern MatchingJoseph Eremondi; Ohad Kammar2025
Variable Elimination as Rewriting in a Linear Lambda CalculusThomas Ehrhard; Claudia Faggian; Michele Pagani2025
A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary ModelWeijie Fan; Hongjin Liang; Xinyu Feng; Hanru Jiang2025
Iso-Recursive Multiparty Sessions and Their Automated VerificationMarco Giunti; Nobuko Yoshida2025
Verifying Algorithmic Versions of the Lovasz Local LemmaRongen Lin; Hongjin Liang; Xinyu Feng2025
Elucidating Type Conversions in SQL EnginesWenjia Ye; Matias Toro; Claudio Gutierrez; Bruno C. d. S. Oliveira; Eric Tanter2025



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2025