Back to Results
First PageMeta Content
Type theory / Data types / Predicate logic / Models of computation / Symbol / Variable / Local consistency / Lambda calculus / Free variables and bound variables / Mathematics / Mathematical logic / Logic


A Language for Automatically Enforcing Privacy Policies Jean Yang Kuat Yessenov Armando Solar-Lezama
Add to Reading List

Document Date: 2012-01-04 11:40:01

Open Document

File Size: 335,93 KB

Share Result on Facebook

City

Philadelphia / /

Company

Facebook / /

Country

United States / /

Currency

USD / /

Facility

Jeeves library / /

IndustryTerm

Conference management systems / fixed-point algorithm / function applications / toy social network / smart paper search / social networking application / social networks / social network / reentrant applications / /

OperatingSystem

XP / /

Organization

American Federal Trade Commission / National Science Foundation / United Nations / MIT / U.S. Government / PC / /

Person

Armando Solar-Lezama / /

Position

Author / p.author / string author / single author / Features General / Jeeves programmer / programmer / /

Product

Jeeves / /

ProgrammingLanguage

Java / J / EC / Scala / /

Technology

fixed-point algorithm / Java technology / /

URL

http /

SocialTag