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

[ gpl, program, system--- ] [ Propose Tags ]

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


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 0.5
Dependencies base (>=4 && <6), containers (>=0.5.0), parsec (>=3.1.3) [details]
License GPL-3.0-only
Copyright (c) 2012 Wei Ke
Author Wei Ke
Category System
Home page
Uploaded by brianchon at 2014-01-29T07:14:31Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables TC
Downloads 1121 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-05-19 [all 7 reports]