Footprints in Local Reasoning

Authors

  • Mohammad Raza
  • Philippa Gardner

Abstract

We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this framework for determining independences between statements in a program which can be used for parallelization.

Venue

Proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures (FOSSACS’08), pp. 201–215

Publication Date

2008

Identifiers

Source Materials