 Janus is an imperative programming language with a global store (there is no stack or heap allocation).Janus is a reversible programming language, i.e.it supports deterministic forward and backward computation by local inversion.