Pages that link to "Item:Q2051812"
From MaRDI portal
The following pages link to Completeness of string analysis for dynamic languages (Q2051812):
Displaying 4 items.
- A complete mechanization of correctness of a string-preprocessing algorithm (Q816208) (← links)
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- Abstract domains for type juggling (Q1650957) (← links)
- Relational string abstract domains (Q2152641) (← links)