Venue

Proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures (FOSSACS)

Publication Year

2008

Authors

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.

Source Materials

Export Citation