Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.

Patrick Cousot, Radhia Cousot

Browse the full CAV paper archive.