The judith programming language