The following pages link to Relational cost analysis (Q5370869):
Displaying 4 items.
- A discounted cost relationship (Q1110970) (← links)
- Relational cost analysis in a functional-imperative setting (Q5020903) (← links)
- Denotational semantics as a foundation for cost recurrence extraction for functional languages (Q5101922) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)