Back to Results
First PageMeta Content
Structure / Universal algebra / String / Linguistics / Mathematics / Formal languages / Model theory


Faceted Execution of Policy-Agnostic Programs Thomas H. Austin Jean Yang Cormac Flanagan
Add to Reading List

Document Date: 2014-05-21 08:08:48


Open Document

File Size: 237,09 KB

Share Result on Facebook

City

C. Flanagan / Seattle / Austin / /

Company

Facebook Inc. / Vf / MySQL / Artificial Intelligence Laboratory / /

Country

United States / /

Currency

USD / /

/

Facility

store Σ2 / /

IndustryTerm

real-world applications / decidable search routines / label-based access control systems / function applications / elegant solution / frontend web request handlers / consistent solution / realworld systems / frontend web code / faceted function applications / printing output / web framework / runtime search / web-based frontend / /

Movie

HIGH and LOW / /

MusicAlbum

Anonymous / Alice / /

Organization

National Science Foundation / MIT / U.S. Government / IEEE Computer Society / /

Person

H. Austin Jean Yang Cormac Flanagan / Armando Solar-Lezama / A. Longo / V / Squeryl Frontend / /

Position

author / Vp / guard / defaulti hb / mp / Features General / policy check Vp / Vp pick pc / programmer / /

Product

Jeeves library interface / Jeeves / /

ProgrammingLanguage

Java / JavaScript / K / Scala / /

Technology

functional programming / LAN / Java / API / http / dom / Operating Systems / /

URL

http /

SocialTag