Programming Systems Publications
     
 
Programming Systems Publications
│ 2006 │ 
 
     
 

2006

A Practical and Complete Approach to Predicate Refinement, Ranjit Jhala and Kenneth L. McMillan, TACAS, 2006.

Bit-level Types for High-level Reasoning, Ranjit Jhala and Rupak Majumdar, FSE, 2006.

Structural Invariants, Ranjit Jhala, Rupak Majumdar, and Ru-Gang Xu, SAS, 2006.