Cover Image

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Deng, Haotian, He, Siyuan, Jia, Songlin, Bao, Yuyan, Rompf, Tiark
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
by: He, Siyuan, et al.
Published: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
by: Deng, Haotian, et al.
Published: (2025)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
by: Jia, Songlin, et al.
Published: (2024)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
by: Bao, Yuyan, et al.
Published: (2025)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
by: He, Siyuan, et al.
Published: (2026)

Typestate via Revocable Capabilities
by: Jia, Songlin, et al.
Published: (2025)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Nominal Automata with Name Deallocation
by: Prucker, Simon, et al.
Published: (2026)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
by: Muravev, Ilia
Published: (2024)

Gradual Sensitivity Typing
by: Arquez, Damian, et al.
Published: (2023)

Pacing Types: Safe Monitoring of Asynchronous Streams
by: Kohn, Florian, et al.
Published: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)

Towards Definitional Interpreters for Hoare Logics
by: Sun, Ke, et al.
Published: (2026)

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

On Higher-Order Reachability Games vs May Reachability
by: Asada, Kazuyuki, et al.
Published: (2022)

Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
by: Kudasov, Nikolai, et al.
Published: (2024)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

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

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
by: Endo, Ryunosuke, et al.
Published: (2025)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2026)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

Pathological Cases for a Class of Reachability-Based Garbage Collectors
by: Sotoudeh, Matthew
Published: (2025)

Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)

Program Analysis via Multiple Context Free Language Reachability
by: Conrado, Giovanna Kobus, et al.
Published: (2024)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
by: Castagna, Giuseppe, et al.
Published: (2024)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
by: He, Mengting, et al.
Published: (2026)

A Sound Type System for Secure Currency Flow
by: Aceto, Luca, et al.
Published: (2024)

Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)

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

Unsafe Impedance: Safe Languages and Safe by Design Software
by: Barney, Lee, et al.
Published: (2024)

Remarks on Algebraic Reconstruction of Types and Effects
by: Balik, Patrycja, et al.
Published: (2026)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
by: Koch, Mark, et al.
Published: (2025)

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

A Note on Dynamic Bidirected Dyck-Reachability with Cycles
by: Zhang, Qirun
Published: (2024)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
by: Bhanuka, Ishan, et al.
Published: (2024)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)