Tycho

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

O Tycho

Tycho jest generatorem typuchecker napisanym w javie, przeznaczonym do pracy z analizatorami generowanymi przez SableCC, generator analizatora opartego na języku Java. Generuje typecheckers, które przechodzą przez danego drzewa analizy i sprawdzić, czy program wejściowy jest bezpieczny dla typu, czy nie.