Automatic parallelization with separation logic
File(s)DTR08-16.pdf (232.5 KB)
Published version
Author(s)
Raza, Mohammad
Calcagno, Cristiano
Gardner, Philippa
Type
Report
Abstract
Separation logic is a recent approach to the analysis of pointer programs
in which resource separation is expressed with a logical connective in assertions
that describe the state at any given point in the program. We extend this
approach to express properties of memory separation between different points in
the program, and present an algorithm for determining independences between
program statements which can be used for parallelization.
in which resource separation is expressed with a logical connective in assertions
that describe the state at any given point in the program. We extend this
approach to express properties of memory separation between different points in
the program, and present an algorithm for determining independences between
program statements which can be used for parallelization.
Date Issued
2008-01-01
Citation
Departmental Technical Report: 08/16, 2008, pp.1-21
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
21
Journal / Book Title
Departmental Technical Report: 08/16
Copyright Statement
© 2008 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published
Article Number
08/16