ggtsTC
Version 0.5 revision 0 uploaded by brianchon.
Package meta
- Synopsis
- 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
- Author
- Wei Ke
- Bug reports
- n/a
- Category
- System
- Copyright
- (c) 2012 Wei Ke
- Homepage
- http://a319-101.ipm.edu.mo/~wke/ggts/impl/
- Maintainer
- wke@ipm.edu.mo
- Package URL
- n/a
- Stability
- n/a