ggtsTC: 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
Downloads
- ggtsTC-0.5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
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 |
Maintainer | wke@ipm.edu.mo |
Category | System |
Home page | http://a319-101.ipm.edu.mo/~wke/ggts/impl/ |
Uploaded | by brianchon at 2014-01-29T07:14:31Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | TC |
Downloads | 1175 total (2 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] |