ggtsTC

A type checker and runtime system of rCOS/g (impl. of ggts-FCS).

http://a319-101.ipm.edu.mo/~wke/ggts/impl/

Latest on Hackage:0.5

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

GPL-3.0-only licensed by Wei Ke
Maintained by [email protected]

A type checker and runtime system of rCOS/g following the definitions in the ggts-FCS article.

  • Title: A graph-based generic type system for object-oriented programs

  • Authors: Wei Ke, Zhiming Liu, Shuling Wang and Liang Zhao

  • Accepted by: Frontier of Computer Science

  • Year: 2012

Programmed by: Wei Ke

(c) 2012 Wei Ke

License: GPL-3

License file: LICENSE

Source package download: ggtsTC-0.5.tar.gz

rCOS/g grammar: grammar