Microsoft Studios manager Michael Saxs Persson tells Joystiq that Project Spark is a natural evolution of the programming language found in Kodu Game Lab, the game building software released on Xbox ...

Ada a general purpose programming language that incorporates advanced programming features like contracts and object oriented programming support. SPARK is a subset of the latest version of Ada that ...