Wolff

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only called when the object is in a state for which the operation is well-defined. Prior work has shown how modular type-state checking can be achieved(More)
  • 1