A Denotational Semantical Model for Orc Language

Qin Li, Huibiao Zhu, Jifeng He. A Denotational Semantical Model for Orc Language. In Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Volume 6255 of Lecture Notes in Computer Science, pages 106-120, Springer, 2010. [doi]

Authors

Qin Li

This author has not been identified. Look up 'Qin Li' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google