Safety and Progress of Recursive Procedures.

Wim H. Hesselink

Published in: Formal Aspects Comput. (1995)

Keyphrases

high level
datalog programs
information systems
decision trees
search algorithm
evolutionary algorithm
recursive queries
safety critical