On the Complexity of Pointer Arithmetic in Separation Logic (an extended version).

James Brotherston Max I. Kanovich

Published in: CoRR (2018)

Keyphrases

neural network
data structure
computational complexity
databases
memory requirements
real time
data sets
data model
computational cost
worst case
description logics
automated reasoning
digital circuits