Automatic verification of heap-manipulating programs.

Yurii Kostyukov Konstantin Batoev Dmitry Mordvinov Michael Kostitsyn Aleksandr Misonizhnik

Published in: CoRR (2019)

Keyphrases

data structure
computer vision
automatic programming
real time
knowledge base
multimedia
website
information technology
open source