A Denotational Semantical Model for Orc Language.

Qin Li, Huibiao Zhu, Jifeng He

Browse the full ICTAC paper archive.