Describir: Dominios semanticos para lenguajes de programacion