본문

서브메뉴

Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
내용보기
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
자료유형  
 학위논문
Control Number  
0016618216
International Standard Book Number  
9798352943397
Dewey Decimal Classification Number  
004
Main Entry-Personal Name  
Emre, Mehmet.
Publication, Distribution, etc. (Imprint  
[S.l.] : University of California, Santa Barbara., 2022
Publication, Distribution, etc. (Imprint  
Ann Arbor : ProQuest Dissertations & Theses, 2022
Physical Description  
152 p.
General Note  
Source: Dissertations Abstracts International, Volume: 84-05, Section: B.
General Note  
Advisor: Hardekopf, Ben.
Dissertation Note  
Thesis (Ph.D.)--University of California, Santa Barbara, 2022.
Restrictions on Access Note  
This item must not be sold to any third party vendors.
Subject Added Entry-Topical Term  
Computer science.
Index Term-Uncontrolled  
Automatic program translation
Index Term-Uncontrolled  
Memory safety
Index Term-Uncontrolled  
Program analysis
Index Term-Uncontrolled  
Programming languages
Index Term-Uncontrolled  
Rust
Added Entry-Corporate Name  
University of California, Santa Barbara Computer Science
Host Item Entry  
Dissertations Abstracts International. 84-05B.
Host Item Entry  
Dissertation Abstract International
Electronic Location and Access  
로그인을 한후 보실 수 있는 자료입니다.
Control Number  
joongbu:624263
신착도서 더보기
최근 3년간 통계입니다.

소장정보

  • 예약
  • 캠퍼스간 도서대출
  • 서가에 없는 책 신고
  • 나의폴더
소장자료
등록번호 청구기호 소장처 대출가능여부 대출정보
TQ0021999 T   원문자료 열람가능/출력가능 열람가능/출력가능
마이폴더 부재도서신고

* 대출중인 자료에 한하여 예약이 가능합니다. 예약을 원하시면 예약버튼을 클릭하십시오.

해당 도서를 다른 이용자가 함께 대출한 도서

관련도서

관련 인기도서

도서위치