The following pages link to Thomas P. Jensen (Q418130):
Displayed 6 items.
- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (Q3522082) (← links)
- (Q4038664) (← links)
- Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs (Q4847376) (← links)
- (Q4870824) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5892027) (← links)