会议文集


文集名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 RecurrencesAmir K. Goharshady; S. Hitarth; Sergei Novozhilov2025
CUTECat: Concolic Execution for Computational LawPierre Goutagny; Aymeric Fromherz; Raphael Monat2025
First-Person Choreographic Programming with Continuation-Passing CommunicationsSung-Shik Jongmans2025
Formal Verification of WTO-based Dataflow SolversRomeo La Spina; Delphine Demange; Sandrine Blazy2025
Formal Verification of WTO-based Dataflow Solvers Artifact Experience ReportRomeo La Spina; Delphine Demange; Sandrine Blazy2025
Multiparty Session Types with a Bang!Matthew Alan Le Brun; Simon Fowler; Ornela Dardha2025
Formal Autograding in a ClassroomDragana Milovancevic; Mario Bucev; Marcin Wojnarowski; Samuel Chassot; Viktor Kuncak2025
Coma, an Intermediate Verification Language with Explicit Abstraction BarriersAndrei Paskevich; Paul Patault; Jean-Christophe Filliatre2025
A Complete Axiomatisation of Equivalence for Discrete Probabilistic ProgrammingRobin Piedeleu; Mateo Torres-Ruiz; Alexandra Silva; Fabio Zanasi2025
Compositional Shape Analysis with Shared Abduction and Biabductive Loop AccelerationFlorian Sextl; Adam Rogalewicz; Tomas Vojnar; Florian Zuleger2025
SMT-Boosted Security Types for Low-Level MPCChristian Skalka; Joseph P. Near2025
Context-Dependent Effects in Guarded Interaction TreesSergei Stepanenko; Emma Nardino; Dan Frumin; Amin Timany; Lars Birkedal2025
An Automata-theoretic Basis for Specification and Type Checking of Multiparty ProtocolsFelix Stutz; Emanuele D'Osualdo2025
Named Arguments as Intersections, Optional Arguments as UnionsYaozhu Sun; Bruno C. d. S. Oliveira2025
Context-Sensitive Demand-Driven Control-Flow AnalysisTim Whiting; Kimball Germane2025
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint LogicRisa Yamada; Naoki Kobayashi; Ken Sakayori; Ryosuke Sato2025



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