Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione