The following pages link to Programming Languages and Systems (Q5899006):
Displaying 12 items.
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy (Q2343123) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- A Type System for Usage of Software Components (Q3638253) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- (Q4414381) (← links)
- Enforcing Programming Guidelines with Region Types and Effects (Q5055996) (← links)
- (Q5111324) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)