CRI: Symbolic Debugger for MCAPI Applications.

Mohamed Elwakil Zijiang Yang Liqiang Wang

Published in: ATVA (2010)

Keyphrases

symbolic representation
intermediate level
symbolic description
programming language
databases
social networks
knowledge base
high level
database systems
connectionist models