Questo programma serve ad illustrare l'evoluzione dello Stack di sistema a fronte di una chiamata ricorsiva. In particolare serve a mostrare come lo Stack di sistema si evolve ne valutare un metodo "fattoriale" definito ricorsivamente. Per eseguire il programma su BlueJ fare come segue: - Settare un breakpoint alla linea 7 e 9 di Fatt e alla linea 4 di Main. - Eseguire il metodo main di Main - Si aprira' una finestra di debugging. Nella sotto finestra "Call Sequence" apparione le chiamate a metodo ancora attive. Nella finestra "Local variable" appaiono le variabili locali e i parametri formali (cioe' la parte piu' interessante del record di attivazione) del metodo evidenziato nella parte "Call Sequence". - Si utilizzi il tasto "Step" per eseguire il programma un passo alla volta.