LBAC is a new programming model that enforces user-specified policies on agentic applications by requiring agent-generated programs to be well-typed in the context of the scaffolding code.
Mitchell, and David Mazières
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
PurPL is an OO language whose typestate system models data purpose sets that grow or shrink to enforce usage compliance.
citing papers explorer
-
Language-Based Agent Control
LBAC is a new programming model that enforces user-specified policies on agentic applications by requiring agent-generated programs to be well-typed in the context of the scaffolding code.
-
A Typestate Approach to Purpose-aware Programming
PurPL is an OO language whose typestate system models data purpose sets that grow or shrink to enforce usage compliance.