The following pages link to Ingrid Chieh Yu (Q478382):
Displayed 4 items.
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Translating active objects into colored Petri nets for communication analysis (Q2093151) (← links)