Commit 288920d7 authored by ehilin02's avatar ehilin02
Browse files

abstract

parent 339f888a
%!TEX root = aplas2021.tex
\begin{abstract}
Pointer arithmetic is widely used in low-level programs, e.g. memory allocators.
%Pointer arithmetic is widely used in low-level programs, e.g. memory allocators.
Heap list is a data structure used in many memory allocators, to describe the physical layout of the memory.
%
%The verification of such programs usually requires simultaneous reasoning about pointer arithmetic and unbounded heap regions.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment