Telecharger Cours

Operational Refinement for Compiler Correctness

define is J X, the union of all the relations in X. By the Knaster-Tarski fixpoint theorem [Tar55],. J X = F(J X) is the greatest fixpoint of F. Furthermore ...



Download