Pages that link to "Item:Q2182314"
From MaRDI portal
The following pages link to On collecting semantics for program analysis (Q2182314):
Displaying 5 items.
- Analyzing SEM collection efficiency (Q468793) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- (Q4414729) (← links)
- “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics (Q4593956) (← links)
- Collecting Semantics under Predicate Abstraction in the K Framework (Q4933282) (← links)