中国机械工程学会生产工程分会知识服务平台 | sc.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)
中译名	《第三十四届欧洲编程专题研讨会，卷2》
会议日期	May 3-8, 2025
会议地点	Hamilton, ON, Canada
出版年	2025
馆藏号	356892

题名	作者	出版年
Efficient Synthesis of Tight Polynomial Upper-bounds for Systems of Conditional Polynomial Recurrences	Amir K. Goharshady; S. Hitarth; Sergei Novozhilov	2025
CUTECat: Concolic Execution for Computational Law	Pierre Goutagny; Aymeric Fromherz; Raphael Monat	2025
First-Person Choreographic Programming with Continuation-Passing Communications	Sung-Shik Jongmans	2025
Formal Verification of WTO-based Dataflow Solvers	Romeo La Spina; Delphine Demange; Sandrine Blazy	2025
Formal Verification of WTO-based Dataflow Solvers Artifact Experience Report	Romeo La Spina; Delphine Demange; Sandrine Blazy	2025
Multiparty Session Types with a Bang!	Matthew Alan Le Brun; Simon Fowler; Ornela Dardha	2025
Formal Autograding in a Classroom	Dragana Milovancevic; Mario Bucev; Marcin Wojnarowski; Samuel Chassot; Viktor Kuncak	2025
Coma, an Intermediate Verification Language with Explicit Abstraction Barriers	Andrei Paskevich; Paul Patault; Jean-Christophe Filliatre	2025
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming	Robin Piedeleu; Mateo Torres-Ruiz; Alexandra Silva; Fabio Zanasi	2025
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration	Florian Sextl; Adam Rogalewicz; Tomas Vojnar; Florian Zuleger	2025
SMT-Boosted Security Types for Low-Level MPC	Christian Skalka; Joseph P. Near	2025
Context-Dependent Effects in Guarded Interaction Trees	Sergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal	2025
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols	Felix Stutz; Emanuele D'Osualdo	2025
Named Arguments as Intersections, Optional Arguments as Unions	Yaozhu Sun; Bruno C. d. S. Oliveira	2025
Context-Sensitive Demand-Driven Control-Flow Analysis	Tim Whiting; Kimball Germane	2025
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic	Risa Yamada; Naoki Kobayashi; Ken Sakayori; Ryosuke Sato	2025