Ciao a tutti, per un esame ho da "...modificare l'interprete operazionale del linguaggio didattico di OCaml per svolgere test dinamici di information flow security...". Sarò sincero, non ho seguito molto le lezioni per degli impegni...e non so proprio da dove iniziare. OCaml me lo sono studiato molto bene, ma da dove posso inziare per creare un interprete operazionale? Sono molto confuso. Ho cercato molto su internet, ma non ho trovato niente di utile. Grazie