Darren New wrote:

> Sounds like they've reinvented typestate, but I'd have to go dig up my 
> other technical books from two decades ago to see if their formulae match.

It sounds interesting and even possibly useful, but... it's 
incomprehensible. I can't make much sense out of it. Clearly whoever 
wrote this document knows what they mean. Unfortunately they didn't do a 
very good job of explaining it! :-P

Post a reply to this message