Pages that link to "Item:Q967521"
From MaRDI portal
The following pages link to From flow logic to static type systems for coordination languages (Q967521):
Displaying 5 items.
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Recognition of logically related regions based heap abstraction (Q1942939) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- (Q2980974) (← links)
- Secure Guarded Commands (Q3297842) (← links)
