The ggtsTC package

[Tags: gpl, program]

A type checker and runtime system of rCOS/g following the definitions in the ggts-FCS article.

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


Properties

Version0.5
Dependenciesbase (>=4 && <6), containers (>=0.5.0), parsec (>=3.1.3)
LicenseGPL-3
Copyright(c) 2012 Wei Ke
AuthorWei Ke
Maintainerwke@ipm.edu.mo
CategorySystem
Home pagehttp://a319-101.ipm.edu.mo/~wke/ggts/impl/
ExecutablesTC
Upload dateWed Jan 29 07:14:31 UTC 2014
Uploaded bybrianchon
Downloads68 total (10 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees