The following pages link to Resource usage analysis (Q5178917):
Displaying 14 items.
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- Types and trace effects for object orientation (Q1029806) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← links)
- Co-algebraic models for quantitative spatial logics (Q2870283) (← links)
- Formalizing Soundness of Contextual Effects (Q3543663) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- Types and Effects for Resource Usage Analysis (Q5758038) (← links)
- Programming Languages and Systems (Q5902362) (← links)