Abstract
The paper deals with correctness proofs of attribute grammars using
methods from abstract interpretation. The technique is described
by defining a liveness analysis and proving it correct with respect
to a continuation style semantics.
Users
Please
log in to take part in the discussion (add own reviews or comments).