The following pages link to Alan Demers (Q1088399):
Displaying 5 items.
- An efficient general iterative algorithm for dataflow analysis (Q1088400) (← links)
- Safety without stuttering (Q1089789) (← links)
- An algorithm for testing lossless join property in relational databases (Q1151059) (← links)
- (Q1166937) (redirect page) (← links)
- On some decidable properties of finite state translations (Q1166939) (← links)
