Pages that link to "Item:Q2946584"
From MaRDI portal
The following pages link to Sup-interpretations, a semantic method for static analysis of program resources (Q2946584):
Displaying 6 items.
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- Characterizing polynomial time complexity of stream programs using interpretations (Q2346991) (← links)
- Closed-form upper bounds in static cost analysis (Q2429987) (← links)
- On quasi-interpretations, blind abstractions and implicit complexity (Q2909730) (← links)
- Upper Bounds on Stream I/O Using Semantic Interpretations (Q3644754) (← links)
