-
2
-
-
34547368855
-
-
J. Berdine, C. Calcagno, and P. W. O'Hearn. Modular automatic assertion checking with separation logic. Draft, Nov. 2005.
-
J. Berdine, C. Calcagno, and P. W. O'Hearn. Modular automatic assertion checking with separation logic. Draft, Nov. 2005.
-
-
-
-
3
-
-
17044438952
-
Permission accounting in separation logic
-
New York, NY, USA, Jan, ACM Press
-
R. Bornat, C. Calcagno, P. O'Hearn, and M. Parkinson. Permission accounting in separation logic. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, pages 259-270, New York, NY, USA, Jan. 2005. ACM Press.
-
(2005)
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages
, pp. 259-270
-
-
Bornat, R.1
Calcagno, C.2
O'Hearn, P.3
Parkinson, M.4
-
4
-
-
34547252399
-
-
R. Bornat, C. Calcagno, and H. Yang. Variables as resource in separation logic. Presented at MFPS XXI, Birmingham, May 2005. To appear in Electronic Notes in Computer Science, 2005.
-
R. Bornat, C. Calcagno, and H. Yang. Variables as resource in separation logic. Presented at MFPS XXI, Birmingham, May 2005. To appear in Electronic Notes in Computer Science, 2005.
-
-
-
-
5
-
-
34547241505
-
Variables as resource for shared-memory programs: Semantics and soundness
-
Elsevier ENTCS, May
-
S. Brookes. Variables as resource for shared-memory programs: Semantics and soundness. In Proceedings of MFPS XXII. Elsevier ENTCS., May 2006.
-
(2006)
Proceedings of MFPS XXII
-
-
Brookes, S.1
-
6
-
-
33646138686
-
A semantics for concurrent separation logic
-
CONCUR'04:15th International Conference on Concurrency Theory, of, London, Aug, Springer
-
S. D. Brookes. A semantics for concurrent separation logic. In CONCUR'04:15th International Conference on Concurrency Theory, volume 3170 of Lecture Notes in Computer Science, pages 16-34, London, Aug. 2004. Springer.
-
(2004)
Lecture Notes in Computer Science
, vol.3170
, pp. 16-34
-
-
Brookes, S.D.1
-
7
-
-
34547348893
-
-
Extended version to appear in Theoretical. Computer Science.
-
Extended version to appear in Theoretical. Computer Science.
-
-
-
-
9
-
-
84976713553
-
Concurrent control with "readers" and "writers
-
P. J. Courtois, F. Heymans, and D. L. Parnas. Concurrent control with "readers" and "writers". Commun. ACM, 14(10):667-668, 1971.
-
(1971)
Commun. ACM
, vol.14
, Issue.10
, pp. 667-668
-
-
Courtois, P.J.1
Heymans, F.2
Parnas, D.L.3
-
11
-
-
84945708698
-
An axiomatic basis for computer programming
-
C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576-580, 1969.
-
(1969)
Commun. ACM
, vol.12
, Issue.10
, pp. 576-580
-
-
Hoare, C.A.R.1
-
14
-
-
84944269268
-
Local reasoning about programs that alter data structures
-
L. Fribourg, editor, CSL 2001, Springer-Verlag
-
P. O'Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, CSL 2001, pages 1-19. Springer-Verlag, 2001. LNCS 2142.
-
(2001)
LNCS
, vol.2142
, pp. 1-19
-
-
O'Hearn, P.1
Reynolds, J.2
Yang, H.3
-
16
-
-
35048852049
-
Resources, concurrency and local reasoning
-
London, Aug, Springer. Extended version is [14
-
P. W. O'Hearn. Resources, concurrency and local reasoning. In CONCUR'04: 15th International Conference on Concurrency Theory, volume 3170 of Lecture Notes in Computer Science, pages 49-67, London, Aug. 2004. Springer. Extended version is [14].
-
(2004)
CONCUR'04: 15th International Conference on Concurrency Theory, volume 3170 of Lecture Notes in Computer Science
, pp. 49-67
-
-
O'Hearn, P.W.1
-
17
-
-
0017173886
-
An axiomatic proof technique for parallel programs
-
S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 19:319-340, 1976.
-
(1976)
Acta Informatica
, vol.19
, pp. 319-340
-
-
Owicki, S.1
Gries, D.2
-
18
-
-
0001428966
-
Intuitionistic reasoning about shared mutable data structure
-
J. Davies, B. Roscoe, and J. Woodcock, editors, Palgrave
-
J. C. Reynolds. Intuitionistic reasoning about shared mutable data structure. In J. Davies, B. Roscoe, and J. Woodcock, editors, Millennial Perspectives in Computer Science, pages 303-321. Palgrave, 2000.
-
(2000)
Millennial Perspectives in Computer Science
, pp. 303-321
-
-
Reynolds, J.C.1
-
19
-
-
0036051192
-
Separation logic: A logic for shared mutable data structures
-
Washington, DC, USA, IEEE Computer Society
-
J. C. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, pages 55-74, Washington, DC, USA, 2002. IEEE Computer Society.
-
(2002)
LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
, pp. 55-74
-
-
Reynolds, J.C.1
-
20
-
-
0033721575
-
Fundamental concepts in programming languages
-
C. Strachey. Fundamental concepts in programming languages. Higher Order Symbolic Computation, 13(1-2): 11-49, 2000.
-
(2000)
Higher Order Symbolic Computation
, vol.13
, Issue.1-2
, pp. 11-49
-
-
Strachey, C.1
|