The following pages link to Static Analysis (Q5897429):
Displaying 5 items.
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
- A Type System for Usage of Software Components (Q3638253) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
