Relazione di Compilatori e Interpreti

[jjocram]

• [x] Abstract [MARCO]
• [x] Introduzione [TOMMASO]
  • [x] Scopo progetto
  • [x] Tecnologie utilizzate
• [x] Grammatica [TOMMASO] manca cappello introduttivo
• [x] Analisa Semantica [DA VEDERE ASSIEME]
  • [x] Struttura ambiente
  • [x] (cosa e come viene controllato)
    • [x] variabili/funzioni non dichiarate
    • [x] variabili dichiarate piu` volte nello stesso ambiente
    • [x] corretto uso dei puntatori
    • [x] parametri attuali non conformi ai parametri formali
• [x] Analisi degli effetti [DA VEDERE ASSIEME]
  • [x] (cosa e come viene controllato)
    • [x] uso di variabili non inizializzate
    • [x] parametri attuali non conformi ai parametri formali (inclusa la verifica sui parametri passati per puntatore)
• [x] Type checking [MARCO]
  • [x] la correttezza dei tipi
• [x] Interprete [MARCO]
  • [x] Descrizione del bytecode
  • [x] Descrizione CPU/Memoria
  • [x] Record di attivazione
  • [x] Funzionamento interprete
• [x] Struttura di SimpLanPlus.java [TOMMASO]
• [x] Esempi (valori attesi e spiegazione degli errori che vengono individuati)
  • [x] example1 -> funzionamento puntatori [MARCO]
  • [x] example2 -> identificazione uso errato dei puntatori [MARCO]
  • [x] example3 -> identificazione uso errato dei puntatori [MARCO]
  • [x] example8 -> esempio Stack overflow [MARCO]
  • [x] example16 -> mutua ritorsione non possibile [TOMMASO]
  • [x] example20 -> Fibonacci [TOMMASO]
  • [x] example25 -> Analisi degli effetti e punto fisso [TOMMASO]
• [x] -Appendice- Guida all'installazione [MARCO]
• [x] -Appendice- Riferimenti [TOMMASO}

[TommasoAzz]

E' importante parlare del linguaggio SVM? @jjocram chiedere a Laneve