The following pages link to Programming Languages and Systems (Q5316573):
Displaying 8 items.
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Closed-form upper bounds in static cost analysis (Q2429987) (← links)
- A program logic for resources (Q2463560) (← links)
- Execution monitoring enforcement under memory-limitation constraints (Q2482440) (← links)
- A framework for verification and debugging of resource usage properties: resource usage verification (Q2883083) (← links)
- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (Q3522073) (← links)
- Computer Science Logic (Q5311262) (← links)
- Programming Languages and Systems (Q5902362) (← links)