메뉴 건너뛰기




Volumn , Issue , 2006, Pages 137-146

Variables as resource in Hoare logics

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER PROGRAMMING; PARAMETER ESTIMATION;

EID: 34547291013     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2006.52     Document Type: Conference Paper
Times cited : (60)

References (20)
  • 2
    • 34547368855 scopus 로고    scopus 로고
    • 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.
  • 4
    • 34547252399 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Extended version to appear in Theoretical. Computer Science.
    • Extended version to appear in Theoretical. Computer Science.
  • 9
    • 84976713553 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 17
    • 0017173886 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 20
    • 0033721575 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.