Back to Results
First PageMeta Content
Program analysis / Type system / Type theory / Function / Objective-C / Mathematical optimization / Closure / Software engineering / Computing / Computer programming


Dynamic Inference of Static Types for Ruby † Jong-hoon (David) An†
Add to Reading List

Document Date: 2010-11-10 09:03:55

Open Document

File Size: 420,92 KB

Share Result on Facebook

Company

Epic Systems Corporation / Adobe Systems / Advanced Technology Labs / /

/

Facility

Assuming bar / College Park / We store / University of Maryland / /

IndustryTerm

static tools / constraint resolution algorithm / software projects / dynamic dispatch algorithm / least solution / final solution / dynamic type inference algorithm / static type inference tool / type inference algorithm / type inference systems / analysis infrastructure / static type systems / constraint-based dynamic type inference algorithm / /

Organization

University of Maryland / College Park / /

Person

Using Rubydust / Jeffrey S. Foster / Michael Hicks / /

/

Position

language interpreter / guard / Type structure General / standard Ruby interpreter / /

Product

RCA H100 Portable Audio Device / iRiver H10 Portable Audio Device / iRiver E100 Portable Audio Device / /

ProgrammingLanguage

Perl / A # / Smalltalk / Ruby / Python / /

ProvinceOrState

Maryland / /

Technology

solving algorithm / constraint-based dynamic type inference algorithm / dynamic dispatch algorithm / dom / Perl / type inference algorithm / simulation / dynamic type inference algorithm / constraint resolution algorithm / /

SocialTag