[e-lang] E auditing framework

[Stephan van Staden]

Regarding auditors and auditing in E, what would an "openly extensible 
static auditing framework" entail? What background material would be 
relevant in the design and construction of one (e.g. use cases, papers, 
...)?

Thanks!
Stephan