Translating Xd-C programs to MSVL programs.

Meng Wang Cong Tian Nan Zhang Zhenhua Duan Chenguang Yao

Published in: Theor. Comput. Sci. (2020)

Keyphrases

provably correct
real world
fixpoint
computer programs
answer sets
high level
real time
multiscale
free software
control structures
logic programs
information technology
search algorithm
three dimensional
decision making
feature selection
artificial intelligence
databases
data sets