Language-Based Agent Control

arXiv:2605.12863 · cs.PL, cs.AI, cs.CR · Submitted 2026-05-13 · Read on arXiv

cs.PL, cs.AI, cs.CR

Submitted: 2026-05-13

Updated: 2026-10-15

Terminology

• Data Provenance — 2× in this paper · explained in 2 episodes
• Provenance — 2× in this paper · explained in 4 episodes
• Scaffolding — 2× in this paper · explained in 3 episodes

Related papers

• Griotte: Verified Compartmentalisation via Capabilities
• GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
• Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs
• Quasar: A Programming Language Specialized for LLM Code Actions