Back to Results
First PageMeta Content
Logic / Mathematics / Metaphilosophy / Formal languages / Metalogic / Model theory / Structure


A Linear Encoding of Pushdown Control-Flow Analysis Steven Lyde Thomas Gilray ∗
Add to Reading List

Document Date: 2014-11-04 14:23:30

Open Document

File Size: 300,80 KB

Share Result on Facebook

City

San Antonio / New York / /

Company

GPU / ACM Press / /

/

Facility

Georgia Institute of Technology / Brandeis University / S The store / Matthew Might University of Utah / M. Hall / /

IndustryTerm

worklist algorithm / call site / given call site / outer product / /

Movie

D. V / /

Organization

University of Utah / National Science Foundation / U.S. Government / Mitchom School of Computer Science / Georgia Institute of Technology / Atlanta / Brandeis University / Boston / /

Person

Steven Lyde / T. Gilray / Steven Lyde Thomas Gilray / Thomas Gilray / Matthew Might / /

/

Position

atomic-evaluator / atomic evaluator / /

ProvinceOrState

Texas / New York / Georgia / Massachusetts / /

Technology

Functional Programming / worklist algorithm / /

SocialTag