Set Interfaces for Generalized Typestate and Data Structure Consistency Verification
Typestate systems allow the type of an object to change during its lifetime in the computation. Unlike standard type systems, they can enforce safety properties that depend on changing object states. We present a new, generalized formulation of typestate that models the typestate of an object throug...
| প্রধান লেখক: | , , , |
|---|---|
| অন্যান্য লেখক: | |
| প্রকাশিত: |
2007
|
| অনলাইন ব্যবহার করুন: | http://hdl.handle.net/1721.1/39419 |