languages targeting specification