서브메뉴
검색
Automating Program Analysis for Differential Privacy
Automating Program Analysis for Differential Privacy
상세정보
- 자료유형
- 학위논문파일 국외
- 최종처리일시
- 20220210093813
- ISBN
- 9798535591117
- DDC
- 004
- 저자명
- Zhang, Hengchu.
- 서명/저자
- Automating Program Analysis for Differential Privacy
- 발행사항
- [Sl] : University of Pennsylvania, 2021
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- 형태사항
- 212 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 83-03, Section: A.
- 주기사항
- Advisor: Pierce, Benjamin C.
- 학위논문주기
- Thesis (Ph.D.)--University of Pennsylvania, 2021.
- 사용제한주기
- This item must not be sold to any third party vendors.
- 일반주제명
- Computer science
- 일반주제명
- Grammar
- 일반주제명
- Language
- 일반주제명
- Programming languages
- 일반주제명
- Syntax
- 일반주제명
- Logic
- 일반주제명
- Optimization
- 일반주제명
- Design
- 일반주제명
- Noise
- 일반주제명
- Algorithms
- 일반주제명
- Privacy
- 일반주제명
- Queries
- 일반주제명
- Semantics
- 키워드
- Type system
- 기타저자
- University of Pennsylvania Computer and Information Science
- 기본자료저록
- Dissertations Abstracts International. 83-03A.
- 기본자료저록
- Dissertation Abstract International
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.
MARC
008220131s2021 us c eng d■001000016053518
■00520220210093813
■020 ▼a9798535591117
■035 ▼a(MiAaPQ)AAI28649799
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aZhang, Hengchu.
■24510▼aAutomating Program Analysis for Differential Privacy
■260 ▼a[Sl]▼bUniversity of Pennsylvania▼c2021
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2021
■300 ▼a212 p
■500 ▼aSource: Dissertations Abstracts International, Volume: 83-03, Section: A.
■500 ▼aAdvisor: Pierce, Benjamin C.
■5021 ▼aThesis (Ph.D.)--University of Pennsylvania, 2021.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0175.
■650 4▼aComputer science
■650 4▼aGrammar
■650 4▼aLanguage
■650 4▼aProgramming languages
■650 4▼aSyntax
■650 4▼aLogic
■650 4▼aOptimization
■650 4▼aDesign
■650 4▼aNoise
■650 4▼aAlgorithms
■650 4▼aPrivacy
■650 4▼aQueries
■650 4▼aSemantics
■653 ▼aDifferential privacy
■653 ▼aDistributed computation
■653 ▼aSymbolic execution
■653 ▼aType system
■690 ▼a0984
■690 ▼a0395
■690 ▼a0389
■690 ▼a0679
■71020▼aUniversity of Pennsylvania▼bComputer and Information Science.
■7730 ▼tDissertations Abstracts International▼g83-03A.
■773 ▼tDissertation Abstract International
■790 ▼a0175
■791 ▼aPh.D.
■792 ▼a2021
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16053518▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202202▼f2022
