The following pages link to William Winsborough (Q1128982):
Displaying 8 items.
- The quotient of an abstract interpretation (Q1128983) (← links)
- (Q3047574) (← links)
- Beyond proof-of-compliance: security analysis in trust management (Q3546305) (← links)
- A confluent semantic basis for the analysis of concurrent constraint logic programs (Q4364205) (← links)
- Efficient analysis of concurrent constraint logic programs (Q4630298) (← links)
- Demand transformation analysis for concurrent constraint programs (Q4943435) (← links)
- Logic Programming (Q5191473) (← links)
- Comparison of abstract interpretations (Q5204344) (← links)
