메뉴 건너뛰기




Volumn , Issue , 2006, Pages 83-86

Reasoning about iterators with separation logic

Author keywords

Aliasing; Challenge problem; Iterators; Separation logic

Indexed keywords

CHALLENGE PROBLEM; IMPERATIVE PROGRAMS; ITERATOR PROTOCOLS; SEPARATION LOGIC;

EID: 34547156032     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181195.1181213     Document Type: Conference Paper
Times cited : (22)

References (6)
  • 4
    • 84945708698 scopus 로고
    • An axiomatic approach to computer programming
    • C. A. R. Hoare. An axiomatic approach to computer programming. Communications of the ACM, 12(583):576-580, 1969.
    • (1969) Communications of the ACM , vol.12 , Issue.583 , pp. 576-580
    • Hoare, C.A.R.1


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