R. Baghdadi, A. Cohen, S. Guelton, S. Verdoolaege, J. Inoue, T. Grosser, G. Kouveli, A. Kravets, A. Lokhmotov, C. Nugteren, F. Waters & A. F. Donaldson (2013):
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs.
CoRR abs/1302.5586.
Available at http://arxiv.org/abs/1302.5586.
S. Blom & M. Huisman (2014):
The VerCors Tool for Verification of Concurrent Programs.
In: FM 2014: Formal Methods,
Lecture Notes in Computer Science 8442.
Springer,
pp. 127–131,
doi:10.1007/978-3-319-06410-9_9.
S. Blom, M. Huisman & M. Mihelči\'c (2013):
Specification and verification of GPGPU programs.
Science of Computer Programming,
doi:10.1016/j.scico.2014.03.013.
R. Bornat, C. Calcagno, P.W. O'Hearn & M.J. Parkinson (2005):
Permission accounting in separation logic.
In: POPL,
pp. 259–270,
doi:10.1145/1040305.1040327.
J. Boyland (2003):
Checking Interference with Fractional Permissions.
In: Static Analysis Symposium,
LNCS 2694.
Springer,
pp. 55–72,
doi:10.1007/3-540-44898-5_4.
L. Dagum & R. Menon (1998):
OpenMP: an industry standard API for shared-memory programming.
Computational Science & Engineering, IEEE 5(1),
pp. 46–55,
doi:10.1109/99.660313.
P. W. O'Hearn (2007):
Resources, concurrency and local reasoning.
Theoretical Computer Science 375(1–3),
pp. 271–307,
doi:10.1016/j.tcs.2006.12.035.
J.C. Reynolds (2002):
Separation Logic: A Logic for Shared Mutable Data Structures.
In: Logic in Computer Science.
IEEE Computer Society,
pp. 55–74,
doi:10.1109/LICS.2002.1029817.
H. Tuch, G. Klein & M. Norrish (2007):
Types, bytes, and separation logic.
In: POPL,
pp. 97–108,
doi:10.1145/1190216.1190234.