Component-Based Modeling and Code Synthesis for Cyclic Programs.

Min Zhou Hai Wan Chen Su Liangze Yin Lianyi Zhang Fei He Ming Gu

Published in: COMPSAC (2013)

Keyphrases

functional programs
computer programs
bayesian networks
source code
databases
machine learning
answer sets
modeling method
static analysis
java programs
symbolic execution
error handling