TopCsUniv
← Programming Languages & Formal Methods 大学ランキングへ戻る

大学 × Programming Languages & Formal Methods

筑波大学

Programming Languages & Formal Methods / 2022–2026 LIVE

掲載論文 6 本

論文一覧

6 本

このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。

ランキングの対象論文 6 本と一致しています。

2025年

  1. 2025 · PLDI

    Thrust: A Prophecy-Based Refinement Type System for Rust

    掲載ID: doi:10.1145/3729333

    Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno

    Programming Languages & Formal Methods

    総合研究大学院大学 / 東北大学 / 筑波大学

2024年

  1. 2024 · POPL

    Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers

    掲載ID: doi:10.1145/3633280

    Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi

    Programming Languages & Formal Methods

    筑波大学 / 早稲田大学

2023年

  1. 2023 · POPL

    Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification

    掲載ID: doi:10.1145/3571265

    Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen

    Programming Languages & Formal Methods

    筑波大学 / 早稲田大学

  2. 2023 · POPL

    Optimal CHC Solving via Termination Proofs

    掲載ID: doi:10.1145/3571214

    Yu Gu, Takeshi Tsukada, Hiroshi Unno

    Programming Languages & Formal Methods

    千葉大学 / 筑波大学

  3. 2023 · POPL

    Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations

    掲載ID: doi:10.1145/3571264

    Taro Sekiyama, Hiroshi Unno

    Programming Languages & Formal Methods

    筑波大学

2022年

  1. 2022 · POPL

    Software model-checking as cyclic-proof search

    掲載ID: doi:10.1145/3498725

    Takeshi Tsukada, Hiroshi Unno

    Programming Languages & Formal Methods

    千葉大学 / 筑波大学

掲載対象外の論文や未反映の論文は、この一覧には含まれません。