A Certifying Compiler for Clike Subset of C Language.

Zhaopeng Li Zhong Zhuang Yiyun Chen Simin Yang Zhenting Zhang Dawei Fan

Published in: TASE (2010)

Keyphrases

general purpose
programming language
distributed memory machines
database
software systems
neural network
artificial intelligence
information systems
object oriented programming
subset selection