大学 × Programming Languages & Formal Methods
総合研究大学院大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 16 本
論文一覧
16 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 16 本と一致しています。
2025年
- Initial Algebra Correspondence under Reachability Conditions
掲載ID:
doi:10.1109/lics65433.2025.00013 - A Unifying Approach to Product Constructions for Quantitative Temporal Inference
掲載ID:
doi:10.1145/3720501 - 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 - Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
掲載ID:
doi:10.1145/3704914
2024年
- Compositional Value Iteration with Pareto Caching
掲載ID:
doi:10.1007/978-3-031-65633-0_21 - Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
掲載ID:
doi:10.1007/978-3-031-65633-0_13 - Abstracting Effect Systems for Algebraic Effect Handlers
掲載ID:
doi:10.1145/3674641 - Composing Codensity Bisimulations
掲載ID:
doi:10.1145/3661814.3662139 - Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
掲載ID:
doi:10.1145/3689805 - Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
掲載ID:
doi:10.1145/3656441
2023年
- Compositional Probabilistic Model Checking with String Diagrams of MDPs
掲載ID:
doi:10.1007/978-3-031-37709-9_3 - Exploiting Adjoints in Property Directed Reachability Analysis
掲載ID:
doi:10.1007/978-3-031-37703-7_3
2022年
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis
掲載ID:
doi:10.1007/978-3-031-13185-1_12
2021年
- Decision Tree Learning in CEGIS-Based Termination Analysis
掲載ID:
doi:10.1007/978-3-030-81688-9_4 - Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
掲載ID:
doi:10.1109/lics52264.2021.9470656
掲載対象外の論文や未反映の論文は、この一覧には含まれません。