@hackage / ggtsTC

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

Latest0.5

About

Metadata

  • Last updated , by brianchon
  • License GPL-3.0-only
  • Categories Systems Programming

  • Maintained by: wke@ipm.edu.mo

  • Lottery factor: 0

Links

Installation

Readme

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