Søgeresultater - Matsushita, Yusuke

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing af Matsushita, Yusuke, Ishii, Hiromi

Få fuldtekst
Få fuldtekst

RustHorn: CHC-based Verification for Rust Programs (full version) af Matsushita, Yusuke, Tsukada, Takeshi, Kobayashi, Naoki

Få fuldtekst
Få fuldtekst

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays af Fujiwara, Yusuke, Matsushita, Yusuke, Suenaga, Kohei, Igarashi, Atsushi

Få fuldtekst
Få fuldtekst

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing af Matsushita, Yusuke, Hirata, Kengo, Wakizaka, Ryo, D'Osualdo, Emanuele

Få fuldtekst
Få fuldtekst

Borrowable Fractional Ownership Types for Verification af Nakayama, Takashi, Matsushita, Yusuke, Sakayori, Ken, Sato, Ryosuke, Kobayashi, Naoki

Få fuldtekst
Få fuldtekst

Prophecy-Based Automated Verification of Message-Passing Programs af Nagatomi, Takashi, Katsura, Musashi, Kobayashi, Naoki, Matsushita, Yusuke, Sakayori, Ken

Få fuldtekst
Få fuldtekst

SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches af Deguchi, Hiroyuki, Kamoda, Go, Matsushita, Yusuke, Taguchi, Chihiro, Suenaga, Kohei, Waga, Masaki, Yokoi, Sho

Få fuldtekst
Få fuldtekst

SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora af Yoneda, Masataka, Matsushita, Yusuke, Kamoda, Go, Suenaga, Kohei, Akiba, Takuya, Waga, Masaki, Yokoi, Sho

Få fuldtekst
Få fuldtekst