On the Complexity of Pointer Arithmetic in Separation Logic.

James Brotherston Max I. Kanovich

Published in: APLAS (2018)

Keyphrases

data structure
computational complexity
complexity analysis
classical logic
website
worst case
logic programming
quantifier free
micron cmos
data sets
databases
genetic algorithm
artificial intelligence
information systems
multi valued
proof theory