Context-2 is imperative statically typed language, based on original Context. The goal of this project is to develop formal language specification and implement the compiler.