TyS

A Framework to Facilitate the Development of Object-Oriented Type Checkers

Here you can download the following TyS components:

  • The TyCC (type checker constructor) tool binaries for win32.
  • The TyCC (type checker constructor) source code(C++).
  • The YACCPT (YACC preprocessor for TyS) binaries for win32.
  • The YACCPT (YACC preprocessor for TyS) source code (C++).
  • The TyS API source and binary code (Java).
  • Different examples using TyS for implementing distinct types of language processors.
  • Altogether: all the previous files in a single archive, including the user's guide.