AssetLan è un semplice linguaggio imperativo con ASSET, in cui i parametri possono essere sia standard che asset, con RICORSIONE e senza MUTUA RICORSIONE.

PROGETTO COMPLETO: Sviluppo di un Compilatore per AssetLan + report in cui si spiegano le scelte progettuali

L'analizzatore lessicale deve ritornare la lista degli errori lessicali in un file di output. Il report deve contenere la discussione di tre esempi e degli errori segnalati.

Sviluppare la tabella dei simboli del programma. Decidere se implementarlo come lista di hash-table o come hash-table di liste. Il codice sviluppato deve controllare:

• variabili/funzioni non dichiarate
• variabili/funzioni dichiarate piu` volte nello stesso ambiente

Sviluppare un'analisi semantica che verifica:

• la correttezza dei tipi (in particolare numero e tipo dei parametri attuali se conformi al numero e tipo dei parametri formali)
• liquidity significa che (a) per ogni funzione, i parametri formali asset devono essere 0 alla fine della sua esecuzione (i valori sono stati spostati nei campi asset oppure trasferiti con una transfer) (b) alla fine del programma i campi asset sono 0

Il report deve contenere TUTTE le regole semantiche utilizzate e relativa discussione. Si faccia attenzione all'aliasing.

Codici da verificare/discutere:

     asset x, y ;
     void f()[u,v]{
	u -o y ;
	v -o x ;
     }
     void main()[u,v]{
        u -o x ;
	u -o y ;
	f()[x,y] ;
     }
     main()[2,3]	// scambia i valori di x e y; il contratto non e` liquido

     int a; int b = 0 ;
     asset z ;
     void g()[]{
	transfer z ;
     }	
     void f(int x)[asset y]{
	a = y ;		// non e` errore
        b = b+x ;      
        y -o z ;
	g()[] ;
     }
     f(1)[2] 		// il contratto e` liquido

     int a ; 
     asset x ;
     void f(int n)[asset u, asset v, asset w]{ 
        u -o x ; 
	f(v,w,u) ;
     }
     void main()[asset a, asset b, asset c]{
	f()[a,b,c] ;
	transfer x ;
     }
     main()[1,2,3] ;	// il contratto e` liquido

     asset x ;
     void f(int n)[asset u, asset v]{ 
        if (n == 0) u -o x ; 
	else { u -o x ; v -o x ; }
     }
     void main()[asset a]{
	f(0)[a,a] ;	// semantica di f()[a,a] ?
	transfer x ;
     }
     main()[1] ;	// il contratto e` liquido

Definire un linguaggio bytecode per eseguire programmi in SimpLanPlus e implementare l'interprete. In particolare:

• Il bytecode deve avere istruzioni per una macchina a pila che memorizza in un apposito registro il valore dell'ultima istruzione calcolata [vedi slide delle lezioni]
• Implementare l'interprete per il bytecode
• Compilare ed eseguire i programmi del linguaggio ad alto livello

CODICI DA VERIFICARE:

     int x = 1;
     void f(int n)[]{ 
          if (n == 0) { print(x) ; }
          else { x = x * n ; f(n-1)[] ; }	
     }
     f(10) ;

=====

IMPLEMENTARE I CODICI DELL'ESERCIZIO 3

=====

Cosa succede se nel codice 4) di sopra rimpiazzo il main con il seguente:

     void main()[asset a, asset b]{
	f(0)[a,b] ;
	print x ;	
	transfer x ;
     }
     main()[1,2] ;	// il contratto e` liquido?

=====

CONSEGNA: Come ultima consegna, bisogna inviare il pacchetto completo di tutte le fasi della compilazione. E` possibile anche modificare i file degli assegnamenti precedenti, se necessario. Bisogna sempre allegare un pdf di presentazione.

Il pacchetto dovra' essere chiamato Cognome1_CON_#n.zip (dove il Cognome1 e' il cognome del primo componente del gruppo in ordine alfabetico e #n e` il numero di consegna).

Tempistiche:

• CONSEGNA PRIMI 2 ESERCIZI: Domenica 24 Aprile ore 24.00
• CONSEGNA ULTIMI 2 ESERCIZI: Domenica 29 Maggio ore 24.00

A seguire: discussione dell'intero progetto.