Tycho

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos

Sobre Tycho

Tycho é um gerador de verificação de tipo escrito em Java, projetado para trabalhar com parsers gerados pela SableCC, o gerador de parser baseado em Java. Gera verificadores de tipo que atravessam uma determinada árvore de parse e verifica se o programa de entrada é tipo seguro ou não.