An approach to semantics of programming language using graphs.