R Chart Definition - Graphical Programming And Program Correctness Proof