Description
A type checker and runtime system of rCOS/g (impl. of ggts-FCS).
Description
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