PurPL is an OO language whose typestate system models data purpose sets that grow or shrink to enforce usage compliance.
InComputer Aided Verification, Armin Biere and Roderick Bloem (Eds.)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
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.