大学 × Programming Languages & Formal Methods
総合研究大学院大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 15 本
論文一覧
15 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 15 本と一致しています。
2026年
- Monads and Distributive Laws in Substructural Contexts
掲載ID:
doi:10.4230/lipics.lics.2026.45
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
掲載対象外の論文や未反映の論文は、この一覧には含まれません。