Pages that link to "Item:Q1650957"
From MaRDI portal
The following pages link to Abstract domains for type juggling (Q1650957):
Displaying 4 items.
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Sharing ghost variables in a collection of abstract domains (Q784125) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)