| LCS Publication Details |
| Publication Title: | Typestate Checking and Regular Graph Constraints |
| Publication Author: | Kuncak, Viktor |
| Additional Authors: | Martin Rinard |
| LCS Document Number: | MIT-LCS-TR-863 |
| Publication Date: | 9-30-2002 |
| LCS Group: | Computer Architecture |
| Additional URL: | |
| Abstract: | |
| To obtain this publication: | |
|
|
|
To purchase a printed copy of this publication please contact MIT Document Services. |
|