Design of a Certifying Compiler Supporting Proof of Program Safety.

Yiyun Chen Lin Ge Baojian Hua Zhaopeng Li Cheng Liu

Published in: TASE (2007)

Keyphrases

neural network
general purpose
real time
design decisions
artificial intelligence
e learning
object oriented
programming language
decision support
knowledge based systems
computer aided
hardware implementation
design methodology