Termination, Deadlock and Divergence.

Luca Aceto Matthew Hennessy

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

kullback leibler
term rewrite systems
active rules
rewrite systems
preprocessing
distance measure
information theory
term rewriting
termination analysis
decision making
video sequences
mutual information
theorem prover
jensen shannon divergence