大学 × Programming Languages & Formal Methods
早稲田大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 8 本
論文一覧
8 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 8 本と一致しています。
2026年
- Repairing Regex-Dependent String-Manipulation Programs
掲載ID:
doi:10.1007/978-3-032-32519-8_14 - A Hierarchy of Supermartingales for ω-Regular Verification
掲載ID:
doi:10.1145/3808257 - Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
掲載ID:
doi:10.1145/3808348
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
掲載対象外の論文や未反映の論文は、この一覧には含まれません。