The following pages link to Refining abstract interpretations (Q765513):
Displaying 9 items.
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Abstract interpretation using typed decision graphs (Q1818312) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- A closer look at declarative interpretations (Q3129509) (← links)
- Abstract interpretation (Q4635587) (← links)
- (Q4738461) (← links)
- Successive Refinement of Abstract Sources (Q5211450) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)