The following pages link to Abstract interpretation (Q4635587):
Displaying 10 items.
- Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016 (Q1682301) (← links)
- Abstract interpretation using typed decision graphs (Q1818312) (← links)
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- Thread-modular analysis of release-acquire concurrency (Q2145344) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- Abstract interpretation as automated deduction (Q2360874) (← links)
- (Q4738461) (← links)
- Verification: Theory and Practice (Q5305644) (← links)
- Logics for extensional, locally complete analysis via domain refinements (Q6535224) (← links)
- Abstract interpretation of indexed grammars (Q6536284) (← links)