Login / Signup
Automatically refining partial specifications for heap-manipulating programs.
Shengchao Qin
Guanhua He
Chenguang Luo
Wei-Ngan Chin
Hongli Yang
Published in:
Sci. Comput. Program. (2014)
Keyphrases
</>
data structure
recursive programs
automatically generated
control flow
real time
neural network
high level
data sets
databases
information systems
search algorithm
user defined
program synthesis