Data Abstraction and Data Refinement Adalberto Farias Alexandre Mota Augusto Sampaio Foundations Abstract Interpretation Data Refinement Data Refinement Relations between…