大学 × Programming Languages & Formal Methods
東北大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 12 本
論文一覧
12 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 12 本と一致しています。
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
2021年
掲載対象外の論文や未反映の論文は、この一覧には含まれません。