Arora, Himanshu <br/><br/>
Checking observational purity of procedures 

 - Bengalore:  Indian Institute of Science,  2018. 
 - vi, 56 p. :  29 cm. 
<br/><br/> Include bibliographical references 
<br/><br/>PhD;2018;Computer Science and Automation 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Terminology; Programming Language
<br/><br/><label>Dewey Class. No.: </label>004 P18