Pages that link to "Item:Q4329488"
From MaRDI portal
The following pages link to State inference for dynamically changing interfaces (Q4329488):
Displaying 5 items.
- An algebra of behavioural types (Q418153) (← links)
- A type safe state abstraction for coordination in JAVA-like languages (Q1006341) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Deriving State-Based Implementations of Interactive Components with History Abstractions (Q3401943) (← links)
- Dynamic delegation with a persistent state (Q6059560) (← links)