semantica-statica.ml: semantica statica del linguaggio esteso, definita in OCamlsemantica-dinamica.ml: semantica dinamica del linguaggio esteso, definita in OCamlspecifica.pdf: specifica del linguaggio esteso, con commenti ed esempitests/success: test che vengono eseguiti senza errori senza l'opzione-ntctests/success/ntc: test che vengono eseguiti senza errori con l'opzione-ntctests/failure/syntax: test che non passano i controlli di sintassitests/failure/type: test che non passano i controlli di semantica statica (ossia, senza l'opzione-ntc)tests/failure/ntc: test che causano errori dinamici con l'opzione-ntc
greengeko/InterpreteL
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|