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 | 1172 total (8 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] |