The following pages link to Damiano Zanardini (Q407520):
Displaying 7 items.
- Corrigendum to ``Reachability-based acyclicity analysis by abstract interpretation'' (Q407521) (← links)
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Reachability-based acyclicity analysis by abstract interpretation (Q1944776) (← links)
- Inference of Field-Sensitive Reachability and Cyclicity (Q2946745) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- Typed Lambda Calculi and Applications (Q5704026) (← links)
