Resum


L'avaluació parcial dirigida per narrowing (NPE) [Vid96, AFV98, AV02], és una tècnica 
per a l'especialització de programes funcionals i lògic-funcionals. La tècnica original és 
de tipus online, és a dir, realitza la propagació de valors estàtics i els controls de 
terminació durant el propi procés d'especialització. Els esquemes offline, per contra, 
tenen dues fases ben diferenciades: l'anàlisi de temps d'enllaç, en el qual es propaguen 
els paràmetres estàtics i es determina l'estratègia de control mitjançant anotacions, i 
la fase d'especialització pròpiament dita (la qual només ha de seguir les anotacions de 
la primera fase). En general, es diu que l'avaluació parcial offline és més eficient—però 
menys precisa—que l'avaluació parcial online.

L'objectiu principal d'aquesta tesi és millorar l'aproximació offline a l'avaluació parcial 
dirigida per narrowing de [Ram07]. En particular, es millora el procediment 
d'anotació i s'implementa un avaluador parcial més efectiu per tal d'obtenir 
programes millor especialitzats i més ràpids. Com aplicacions, emprem l'avaluador 
parcial per dur a terme l'especialització d'un intèrpret, el que d'acord a la primera 
projecció de Futamura [Fut71] es considera com un tipus de compilació. Aquesta 
aplicació representa la primera aproximació a la compilació per avaluació parcial de 
programes lògic-funcionals. A més, considerem també l'especialització d'un llenguatge 
de domini específic que té com a propòsit generar programes per a màquines de 
control numèric computat (CNC).

Des d'un punt de vista més teòric, s'estén la tècnica offline bàsica per a programes 
funcionals d'ordre superior mitjançant l'aproximació coneguda com 
desfuncionalització. A més, s'aplica una transformació polivariant que permet millorar 
la precisió del procés d'especialització sense necessitat d'implementar un esquema 
polivariant real.

L'esquema resultant té un bon equilibri entre eficiència i precisió, millorant així les 
propostes anteriors i constituint un bon punt de partida per al desenvolupament 
d'eines d'especialització de programes lògic-funcionals eficaços