서브메뉴
검색
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