A programming language and its interpreter.