Material Type  

 학위논문

 

0016053518

Date and Time of Latest Transaction  

20220210093813

ISBN  

9798535591117

DDC  

004

Author  

Zhang, Hengchu.

Title/Author  

Automating Program Analysis for Differential Privacy.

Publish Info  

[S.l.] : University of Pennsylvania., 2021

Publish Info  

Ann Arbor : ProQuest Dissertations & Theses, 2021

Material Info  

212 p.

General Note  

Source: Dissertations Abstracts International, Volume: 83-03, Section: A.

General Note  

Advisor: Pierce, Benjamin C.

학위논문주기  

Thesis (Ph.D.)--University of Pennsylvania, 2021.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Grammar.

Subject Added Entry-Topical Term  

Language.

Subject Added Entry-Topical Term  

Programming languages.

Subject Added Entry-Topical Term  

Syntax.

Subject Added Entry-Topical Term  

Logic.

Subject Added Entry-Topical Term  

Optimization.

Subject Added Entry-Topical Term  

Design.

Subject Added Entry-Topical Term  

Noise.

Subject Added Entry-Topical Term  

Algorithms.

Subject Added Entry-Topical Term  

Privacy.

Subject Added Entry-Topical Term  

Queries.

Subject Added Entry-Topical Term  

Semantics.

Index Term-Uncontrolled  

Differential privacy

Index Term-Uncontrolled  

Distributed computation

Index Term-Uncontrolled  

Symbolic execution

Index Term-Uncontrolled  

Type system

Added Entry-Corporate Name  

University of Pennsylvania Computer and Information Science

Host Item Entry  

Dissertations Abstracts International. 83-03A.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

소장사항  

202202 2022

Control Number  

joongbu:610198