https://www.lf-lang.org/docs/0.9.0/writing-reactors/parameters-and-state-variables/
Parameters and State Variables | Lingua Franca
Parameters and state variables in Lingua Franca.
state variablesparameterslinguafranca
https://diligence.security/blog/2021/07/annotating-state-variables-with-scribble/
Annotating State Variables with Scribble | Consensys Diligence
Smart Contract Audits for Ethereum protocols and institutions. Supercharged by AI agents, guided by veteran experts.
state variablesannotatingscribbleconsensysdiligence