Computing an Upper Bound for SVS(gg) by Abstract Interpretation.

Published in: Developments in Language Theory (1995)

Keyphrases

upper bound
abstract interpretation
lower bound
termination analysis
static analysis
active rules
logic programs
support vectors
generalized gaussian