Back to Results
First PageMeta Content
Software engineering / Deduction / Program analysis / Type system / Type safety / Entailment / Pointer / Logic / Type theory / Data types


Document Date: 2003-02-03 11:57:30

Open Document

File Size: 239,44 KB

Share Result on Facebook

City

New Orleans / /

Company

TALT / Intel / /

Country

United States / /

Currency

USD / /

Event

Company Expansion / /

Facility

Multiple Entry Points One facility / /

IndustryTerm

decentralized grid computing fabric / code systems / grid applications / potential grid applications / actual hardware / grid application developer / type checking software / grid computing / called grid computing / trusted computing base / type systems / sum using binary search / conventional type systems / downloaded software / /

Organization

National Science Foundation / Cornell / Carnegie Mellon University / /

Person

Karl Crary Carnegie / /

Position

conservative garbage collector / desired forward / collector / garbage collector / representative / programmer / /

Product

Necula / Rahul / /

ProgrammingLanguage

Assembly Language / Standard ML / Java / K / /

ProvinceOrState

Louisiana / /

Technology

alpha / Java / simulation / cmp / /

SocialTag