Abstract is missing.
- Comparing Semantic Frameworks for Dependently-Sorted Algebraic TheoriesBenedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North. 3-22 [doi]
- Random-Access Lists, from EE to FPTitouan Quennet, Pierre-Évariste Dagand. 23-41 [doi]
- Generic Reasoning of the Locally Nameless RepresentationYicheng Ni, Yuting Wang 0001. 42-62 [doi]
- Building a Correct-by-Construction Type Checker for a Dependently Typed Core LanguageBohdan Liesnikov, Jesper Cockx. 63-83 [doi]
- Extending the Quantitative Pattern-Matching ParadigmSandra Alves, Delia Kesner, Miguel Ramos 0002. 84-105 [doi]
- Hybrid Verification of Declarative Programs with Arithmetic Non-fail ConditionsMichael Hanus. 109-129 [doi]
- Explaining Explanations in Probabilistic Logic ProgrammingGermán Vidal. 130-152 [doi]
- Quantum Programming Without the Quantum PhysicsJun Inoue 0001. 155-175 [doi]
- Quantum Bisimilarity Is a Congruence Under Physically Admissible SchedulersLorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi. 176-195 [doi]
- Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event StructuresVítor Fernandes, Marc de Visme, Benoît Valiron. 196-215 [doi]
- Type-Based Verification of Connectivity Constraints in Lattice SurgeryRyo Wakizaka, Yasunari Suzuki, Atsushi Igarashi. 216-237 [doi]
- On Computational Indistinguishability and Logical RelationsUgo Dal Lago, Zeinab Galal, Giulia Giusti. 241-263 [doi]
- Relative Completeness of Incorrectness Separation LogicYeonseok Lee, Koji Nakazawa. 264-282 [doi]
- OBRA: Oracle-Based, Relational, Algorithmic Type VerificationElizaveta Vasilenko, Niki Vazou, Gilles Barthe. 283-302 [doi]
- A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic ExecutionThi Thu Ha Doan, Peter Thiemann 0001. 305-324 [doi]
- Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability ProblemHiroyuki Katsura, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001. 325-345 [doi]
- Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size AccessesShigeyuki Sato 0001, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura. 346-364 [doi]
- Effective Search Space Pruning for Testing Deep Neural NetworksBala Rangayah, Eugene Sng, Minh-Thai Trinh. 365-387 [doi]