大学 × Programming Languages & Formal Methods
京都大学
Programming Languages & Formal Methods / 2022–2026 LIVE
掲載論文 18 本
論文一覧
18 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 18 本と一致しています。
2026年
- Adequacy for Predicate Transformer Semantics
掲載ID:
doi:10.1145/3828674 - Programming Backpropagation with Reverse Handlers for Arrows
掲載ID:
doi:10.1145/3828704 - Causality in Pure Quantum Computation with Quantum Control
掲載ID:
doi:10.4230/lipics.lics.2026.57 - Refined² Environment Classifiers
掲載ID:
doi:10.1145/3839493 - Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
掲載ID:
doi:10.1145/3808259 - VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
掲載ID:
doi:10.1145/3808325 - RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
掲載ID:
doi:10.1145/3776648
2025年
- Homological Invariants of Higher-Order Equational Theories
掲載ID:
doi:10.1109/lics65433.2025.00024 - Initial Algebra Correspondence under Reachability Conditions
掲載ID:
doi:10.1109/lics65433.2025.00013 - Nola: Later-Free Ghost State for Verifying Termination in Iris
掲載ID:
doi:10.1145/3729250 - Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
掲載ID:
doi:10.1145/3704842
2024年
- Abstracting Effect Systems for Algebraic Effect Handlers
掲載ID:
doi:10.1145/3674641 - Braids, Twists, Trace and Duality in Combinatory Algebras
掲載ID:
doi:10.1145/3661814.3662098 - Law and Order for Typestate with Borrowing
掲載ID:
doi:10.1145/3689763 - Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
掲載ID:
doi:10.1145/3656441
2023年
- Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
掲載ID:
doi:10.1007/978-3-031-37706-8_1
2022年
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
掲載ID:
doi:10.1007/978-3-031-13185-1_22 - The Lattice-Theoretic Essence of Property Directed Reachability Analysis
掲載ID:
doi:10.1007/978-3-031-13185-1_12
掲載対象外の論文や未反映の論文は、この一覧には含まれません。