Sign in

Component-Based Modeling and Code Synthesis for Cyclic Programs.

Min ZhouHai WanChen SuLiangze YinLianyi ZhangFei HeMing 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