Strom, Robert E, Yeliln, Daniel M. <br/><br/>
Extending Typestate Checking Using Conditional liveness Analysis 

 - 478-485 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Conditioning<br/>Dataflow Analysis<br/>Program Correctness