Compiling Control Revisited: A New Approach based upon Abstract Interpretation.

Dmitri Boulanger Danny De Schreye

Published in: ICLP (1994)

Keyphrases

abstract interpretation
termination analysis
case study
static analysis
model checking
logic programs
integrity constraints