The following pages link to Alan Demers (Q1088399):
Displayed 13 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)
- Data types are values (Q3681907) (← links)
- Sublinear-space evaluation algorithms for attribute grammars (Q3771592) (← links)
- Worst-Case Performance Bounds for Simple One-Dimensional Packing Algorithms (Q4051589) (← links)
- Elimination of single productions and merging nonterminal symbols of LR(1) grammars (Q4136589) (← links)
- (Q4252722) (← links)
- Spatial gossip and resource location protocols (Q5175964) (← links)
- Correctness of a gossip based membership protocol (Q5177252) (← links)
- Spatial gossip and resource location protocols (Q5435670) (← links)