Back to Results
First PageMeta Content
Models of computation / Logic / Mathematical logic / Function / Data-flow analysis / Free variables and bound variables / Algorithm / Lambda calculus / Monad / Mathematics / Theoretical computer science / Applied mathematics


Flow-Sensitive Type Recovery in Linear-Log Time ∗ Michael D. Adams Andrew W. Keep Jan Midtgaard
Add to Reading List

Document Date: 2014-01-06 09:40:03

Open Document

File Size: 389,60 KB

Share Result on Facebook

City

Portland / /

Country

United States / /

Currency

USD / /

Facility

Keep Jan Midtgaard Indiana University / Kent Dybvig University of Utah Indiana University Indiana University Abstract / /

IndustryTerm

car returns / usual flow-graph algorithm / variable binding site / flow-graph based algorithm / car x1 / linear-log time algorithm / car x2 / type-recovery algorithm / call site / particular call site / lowest common ancestor algorithm / less efficient algorithm / car xn / flow-sensitive type-recovery algorithm / work-list algorithm / /

Organization

University of Utah / National Security Agency / Arun Chauhan R. Kent Dybvig University / Indiana University / /

Person

Jan Midtgaard / Van Horn / Michael D. Adams Andrew / /

Position

Optimization General / /

ProgrammingLanguage

Ruby / Python / JavaScript / /

ProvinceOrState

Indiana / Oregon / /

Technology

alpha / type-recovery algorithm / CFA-based type-recovery algorithm / flow-graph based algorithm / linear-log time algorithm / ancestor algorithm / Caching / usual flow-graph algorithm / work-list algorithm / /

SocialTag