大学 × Programming Languages & Formal Methods
東北大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 16 本
論文一覧
16 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 16 本と一致しています。
2026年
- Lagrangian-Based Duality for Quantified SMT Algorithms
掲載ID:
doi:10.1007/978-3-032-32526-6_4 - A Hierarchy of Supermartingales for ω-Regular Verification
掲載ID:
doi:10.1145/3808257 - Solvable Tuple Patterns and Their Applications to Program Verification
掲載ID:
doi:10.1145/3808258 - Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
掲載ID:
doi:10.1145/3808348 - Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks
掲載ID:
doi:10.1145/3776681
2025年
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
掲載ID:
doi:10.1145/3763184 - Thrust: A Prophecy-Based Refinement Type System for Rust
掲載ID:
doi:10.1145/3729333 - A Primal-Dual Perspective on Program Verification Algorithms
掲載ID:
doi:10.1145/3704904 - Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
掲載ID:
doi:10.1145/3704914
2024年
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
掲載ID:
doi:10.1145/3674662 - Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
掲載ID:
doi:10.1145/3689805 - Inductive Approach to Spacer
掲載ID:
doi:10.1145/3656457 - Enriched Presheaf Model of Quantum FPC
掲載ID:
doi:10.1145/3632855
2023年
- Compositional Probabilistic Model Checking with String Diagrams of MDPs
掲載ID:
doi:10.1007/978-3-031-37709-9_3 - Embedding by Unembedding
掲載ID:
doi:10.1145/3607830
2022年
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
掲載ID:
doi:10.1145/3531130.3533373
掲載対象外の論文や未反映の論文は、この一覧には含まれません。