Abstraction-aware verifying compiler for yet another MDD.

Naoyasu Ubayashi Di Ai Peiyuan Li Yu Ning Li Shintaro Hosoai Yasutaka Kamei

Published in: ASE (2014)

Keyphrases

programming language
high level
general purpose
decision theoretic planning
decision making
evolutionary algorithm
data abstraction
distributed memory machines
data sets
computer vision
knowledge base
search algorithm
software systems
highly optimized