Understanding Finiteness Analysis Using Abstract Interpretation.

Peter A. Bigot Saumya K. Debray Kim Marriott

Published in: JICSLP (1992)

Keyphrases

abstract interpretation
model checking
static analysis
web services
data analysis
open source
termination analysis