Informateci

SEMANTICA STATICA CHE IDENTIFICHI VARIABILI DICHIARATE E MAI USATE

RECORD DI ATTIVAZIONE FUNZIONI
DIMOSTRAZIONE CORRETTEZZA QUICKSORT, COMPLESSITA’
SEMANTICA STATICA E DINAMICA NUOVO COMANDO
ALGORITMO DIJKSTRA


RADIX SORT
SEMANTICA STATICA ALIAS ID FOR ID
HEAP

-Implementare l'operatore ternario di JS in linguaggio L (solo semantica statica)
-Analisi del Merge Sort: 1) Complessità + Dimostrazione di tale 2) Pseudo Codice 3) Dimostrazione di Correttezza
-Implementare l'espressione condizione di Lisp in L, grammatica, semantica statica, semantica dinamica ...