Cover Image

Typestate via Revocable Capabilities

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jia, Songlin, Liu, Craig, He, Siyuan, Deng, Haotian, 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

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

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)

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

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

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

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

Law and Order for Typestate with Borrowing
by: Saffrich, Hannes, et al.
Published: (2024)

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

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
by: Qin, Zhanyue, et al.
Published: (2026)

Rows and Capabilities as Modal Effects
by: Tang, Wenhao, et al.
Published: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
by: Mutlu, Doruk Alp
Published: (2025)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
by: Xu, Haoran, et al.
Published: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
by: Rousseau, June, et al.
Published: (2026)

Tracking Capabilities for Safer Agents
by: Odersky, Martin, et al.
Published: (2026)

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

Can LLMs Act as Historians? Evaluating Historical Research Capabilities of LLMs via the Chinese Imperial Examination
by: Gao, Lirong, et al.
Published: (2026)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
by: Salgado, Ronie
Published: (2024)

Optimizing High-Level Synthesis Designs with Retrieval-Augmented Large Language Models
by: Xu, Haocheng, et al.
Published: (2024)

The Squirrel Parser: A Linear-Time PEG Packrat Parser Capable of Left Recursion and Optimal Error Recovery
by: Hutchison, Luke A. D.
Published: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
by: Xia, Shihao, et al.
Published: (2026)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
by: He, Yang, et al.
Published: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Actor Capabilities for Message Ordering (Extended Version)
by: Gordon, Colin S.
Published: (2025)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
by: Poli, Federico, et al.
Published: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
by: Bao, Jialu, et al.
Published: (2021)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
by: Barrière, Aurèle, et al.
Published: (2025)

Top Leaderboard Ranking = Top Coding Proficiency, Always? EvoEval: Evolving Coding Benchmarks via LLM
by: Xia, Chunqiu Steven, et al.
Published: (2024)

On the computational complexity of JavaScript regex matching
by: Deng, Victor, et al.
Published: (2026)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
by: Wang, Peiding, et al.
Published: (2025)

Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs
by: Dai, Hankun, et al.
Published: (2025)

Stop the Flip-Flop: Context-Preserving Verification for Fast Revocable Diffusion Decoding
by: Xiang, Yanzheng, et al.
Published: (2026)

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

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
by: Li, Tianchi, et al.
Published: (2026)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
by: Cutler, Joseph W., et al.
Published: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
by: Jia, Xiaodong, et al.
Published: (2024)

Assessing GPT-4-Vision's Capabilities in UML-Based Code Generation
by: Antal, Gábor, et al.
Published: (2024)

Mix-of-Language-Experts Architecture for Multilingual Programming
by: Zong, Yifan, et al.
Published: (2025)