서브메뉴
검색
Proving Program Termination: In contrast to popular belief, proving termination is not always impossible
Proving Program Termination: In contrast to popular belief, proving termination is not always impossible
상세정보
- 자료유형
- 기사
- ISSN
- 00010782
- 저자명
- Cook, B.
- 서명/저자
- Proving Program Termination: In contrast to popular belief, proving termination is not always impossible / Cook, B. , Podelski, A. , Rybalchenko, A.
- 발행사항
- Broadway, NY : Association for Computing Machinery, 2011.
- 형태사항
- pp. p.88-99
- 주기사항
- included reference
- 기타저자
- Podelski, A.
- 기타저자
- Rybalchenko, A.
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250413
MARC
008200113s2011 ai aa eng■022 ▼a00010782
■1001 ▼aCook, B.
■24510▼aProving Program Termination: In contrast to popular belief, proving termination is not always impossible ▼dCook, B.▼ePodelski, A.▼eRybalchenko, A.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2011.
■300 ▼app. p.88-99
■500 ▼aincluded reference
■7001 ▼aPodelski, A.
■7001 ▼aRybalchenko, A.
■773 ▼tCommunications of the ACM.▼gVol. 54 No. 5 (2011. 5)▼d2011, 05
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS057828▼b60077699▼h8▼s2▼fP
