Especificació del llenguatge de programació