大学 × Programming Languages & Formal Methods
早稲田大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 6 本
論文一覧
6 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 6 本と一致しています。
2025年
- Logical relations for call-by-push-value models, via internal fibrations in a 2-category
掲載ID:
doi:10.1109/lics65433.2025.00061
2024年
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
掲載ID:
doi:10.1145/3674662 - Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
掲載ID:
doi:10.1145/3633280
2023年
- Repairing Regular Expressions for Extraction
掲載ID:
doi:10.1145/3591287 - Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
掲載ID:
doi:10.1145/3571265
2021年
- Constraint-Based Relational Verification
掲載ID:
doi:10.1007/978-3-030-81685-8_35
掲載対象外の論文や未反映の論文は、この一覧には含まれません。