Task Termination in Ada 95.

Andy J. Wellings Alan Burns Offer Pazy

Published in: Ada-Europe (1997)

Keyphrases

term rewriting
rewrite systems
active rules
neural network
information retrieval
data analysis
association rules
type checking