@hackage ggtsTC0.5

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

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