大学 × Programming Languages & Formal Methods
京都大学
Programming Languages & Formal Methods / 2021–2025 確定版
掲載論文 11 本
論文一覧
11 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
ランキングの対象論文 11 本と一致しています。
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
掲載対象外の論文や未反映の論文は、この一覧には含まれません。