The following pages link to Pascal Fradet (Q436363):
Displaying 12 items.
- Aspects preserving properties (Q436364) (← links)
- Aspects of availability. Enforcing timed properties to prevent denial of service (Q608233) (← links)
- Structured gamma (Q1818363) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- Compilation of a specialized functional language for massively parallel computers (Q2713366) (← links)
- (Q2851701) (← links)
- (Q3400623) (← links)
- (Q4440331) (← links)
- (Q4474004) (← links)
- Enforcing trace properties by program transformation (Q5178842) (← links)
- Programming Languages and Systems (Q5464057) (← links)
- Generalised multisets for chemical programming (Q5482259) (← links)
