Describir: Science of computer programming