:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fujiwara, Yusuke, Matsushita, Yusuke, Suenaga, Kohei, Igarashi, Atsushi
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2604.22361
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
by: Matsushita, Yusuke, et al.
Published: (2026)

Contextual Metaprogramming for Session Types
by: Ângelo, Pedro, et al.
Published: (2026)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
by: Wakizaka, Ryo, et al.
Published: (2024)

Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)

SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches
by: Deguchi, Hiroyuki, et al.
Published: (2025)

SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora
by: Yoneda, Masataka, et al.
Published: (2026)

Signature Restriction for Polymorphic Algebraic Effects
by: Sekiyama, Taro, et al.
Published: (2020)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
by: Matsushita, Yusuke, et al.
Published: (2025)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
by: Lepori, Andrea, et al.
Published: (2025)

Refactoring Programs Using Large Language Models with Few-Shot Examples
by: Shirafuji, Atsushi, et al.
Published: (2023)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
by: Deng, Haotian, et al.
Published: (2025)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
by: Yao, Peisen, et al.
Published: (2026)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

Refinement-Types Driven Development: A study
by: Domínguez, Facundo, et al.
Published: (2025)

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
by: Petula, Wyatt, et al.
Published: (2025)

Functional Ownership through Fractional Uniqueness
by: Marshall, Danielle, et al.
Published: (2023)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
by: Kawamoto, Yusuke, et al.
Published: (2024)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
by: Donyina, Adwoa, et al.
Published: (2025)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

Arithmetizing Shape Analysis
by: Wolff, Sebastian, et al.
Published: (2024)

Language Models Do Hard Arithmetic Tasks Easily and Hardly Do Easy Arithmetic Tasks
by: Gambardella, Andrew, et al.
Published: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
by: Guan, Yawen, et al.
Published: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

Active Learning of Symbolic Mealy Automata
by: Irie, Kengo, et al.
Published: (2025)

Conditional Nested Pattern Matching in Interaction Net
by: Sato, Shinya
Published: (2024)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
by: Lee, Yeonseok, et al.
Published: (2025)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
by: Grannan, Zachary, et al.
Published: (2025)

Is Structure Dependence Shaped for Efficient Communication?: A Case Study on Coordination
by: Kajikawa, Kohei, et al.
Published: (2024)

Ownership in low-level intermediate representation
by: Priya, Siddharth, et al.
Published: (2024)