大学 × Programming Languages & Formal Methods
筑波大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 8 本
論文一覧
8 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 8 本と一致しています。
2025年
- Thrust: A Prophecy-Based Refinement Type System for Rust
掲載ID:
doi:10.1145/3729333
2024年
2023年
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
掲載ID:
doi:10.1145/3571265 - Optimal CHC Solving via Termination Proofs
掲載ID:
doi:10.1145/3571214 - Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations
掲載ID:
doi:10.1145/3571264
2022年
- Software model-checking as cyclic-proof search
掲載ID:
doi:10.1145/3498725
2021年
- Constraint-Based Relational Verification
掲載ID:
doi:10.1007/978-3-030-81685-8_35 - Decision Tree Learning in CEGIS-Based Termination Analysis
掲載ID:
doi:10.1007/978-3-030-81688-9_4
掲載対象外の論文や未反映の論文は、この一覧には含まれません。