Tycho

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu

Về Tycho

Tycho là một máy phát điện typechecker được viết bằng Java, được thiết kế để làm việc với các phân tích cú pháp được tạo ra bởi SableCC, máy phát điện phân tích cú pháp dựa trên Java. Nó tạo ra typecheckers mà đi qua một cây phân tích cú pháp nhất định và kiểm tra xem chương trình đầu vào là loại an toàn hay không.