Back to Results
First PageMeta Content
Type theory / Functional languages / Logic in computer science / Data types / Dependent type / Formal verification / Functional programming / Type system / Haskell / Software engineering / Programming language theory / Computing


Document Date: 2011-04-06 12:22:59

Open Document

File Size: 539,88 KB

Share Result on Facebook

Company

Case / /

Country

United States / /

Currency

USD / /

Facility

But building / G URU Aaron Stump Computer Science The University of Iowa Iowa City / /

IndustryTerm

buggy software / utilities infrastructure / web servers / linearization algorithm / binary search / software failure / safety critical systems / verified software / excellent software / /

OperatingSystem

Linux / /

Organization

The University of Iowa / National Science Foundation / University of Iowa Iowa City / /

Person

Henry Li / Timothy Simpson / Todd Schiller / Morgan Deters / Daniel Tratos / Edwin Westbrook / /

Position

interpreter / /

ProgrammingLanguage

Haskell / C / C++ / /

ProvinceOrState

Iowa / /

RadioStation

9.1 What / 1.3 What / /

Technology

Functional Programming / linearization algorithm / JAVA / Linux / operating system / operating systems / 2.1 The linearization algorithm / /

URL

http /

SocialTag