大学 × Programming Languages & Formal Methods
千葉大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 9 本
論文一覧
9 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 9 本と一致しています。
2025年
- Nola: Later-Free Ghost State for Verifying Termination in Iris
掲載ID:
doi:10.1145/3729250 - A Primal-Dual Perspective on Program Verification Algorithms
掲載ID:
doi:10.1145/3704904
2024年
- Inductive Approach to Spacer
掲載ID:
doi:10.1145/3656457 - Enriched Presheaf Model of Quantum FPC
掲載ID:
doi:10.1145/3632855
2023年
- HFL(Z) Validity Checking for Automated Program Verification
掲載ID:
doi:10.1145/3571199 - Optimal CHC Solving via Termination Proofs
掲載ID:
doi:10.1145/3571214
2022年
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
掲載ID:
doi:10.1145/3531130.3533373 - Software model-checking as cyclic-proof search
掲載ID:
doi:10.1145/3498725
2021年
掲載対象外の論文や未反映の論文は、この一覧には含まれません。