Pages that link to "Item:Q4637861"
From MaRDI portal
The following pages link to Reference Abstract Domains and Applications to String Analysis (Q4637861):
Displaying 6 items.
- Abstract domains for type juggling (Q1650957) (← links)
- Dashed strings for string constraint solving (Q2046015) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Relational string abstract domains (Q2152641) (← links)
- String abstract domains and their combination (Q6102247) (← links)
- Improving dynamic code analysis by code abstraction (Q6646291) (← links)