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:
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.