Expressing heap-shape contracts in linear logic.

Frances Perry Limin Jia David Walker

Published in: GPCE (2006)

Keyphrases

linear logic
data structure
logic programming
proof theoretic
fixed point
intuitionistic logic
cut elimination
desirable properties
shape analysis
shape model
logical framework
sequent calculus
supply chain
proof search
knowledge representation
random variables
higher order
general purpose
object oriented
pairwise