Tycho

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

Circa Tycho

Tycho è un generatore di typechecker scritto in Java, progettato per funzionare con parser generati da SableCC, il generatore di parser basato su Java. Genera typechecker che attraversano una determinata struttura di analisi e controllano se il programma di input è sicuro per i tipi o meno.