Task Dependence and Termination in Ada.

Laura K. Dillon

Published in: ACM Trans. Softw. Eng. Methodol. (1997)

Keyphrases

term rewriting
lower bound
rewrite systems
data sets
search engine
data streams