Pages that link to "Item:Q3522058"
From MaRDI portal
The following pages link to Transforming Abstract Interpretations by Abstract Interpretation (Q3522058):
Displaying 5 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Semantics-based software watermarking by abstract interpretation (Q4611201) (← links)
- Making abstract models complete (Q5741575) (← links)