Login / Signup
Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs.
Suzette Person
Matthew B. Dwyer
Published in:
NASA Formal Methods (2009)
Keyphrases
</>
intermediate level
high level
data structure
low level
symbolic representation
query language
connectionist systems
database
databases
motion estimation
video surveillance
answer sets
disparity estimation