Back to Results
First PageMeta Content
Type theory / Programming language theory / Calling convention / Assembly language / Function prologue / Type inference / Type system / Annotation / X86 / Software engineering / Subroutines / Computing


Scalable Certification of Native Code: Experience from Compiling to TALx86 Dan Grossman Greg Morrisett ∗
Add to Reading List

Document Date: 2000-02-02 20:38:09

Open Document

File Size: 171,92 KB

Share Result on Facebook

Company

Intel / Microsoft / Shao and associates / Amdahl / /

Event

Reorganization / /

IndustryTerm

low-level systems / tool / type systems / call site / then processing / command-line argument processing / greedy algorithm / expressive systems / /

OperatingSystem

Windows NT 4.0 / /

Organization

Department of Computer Science Cornell University Abstract Certifying / National Science Foundation / /

Person

Dan Grossman Greg Morrisett / /

Position

forward control flow points / compiler writer / code producer / /

Product

Popcorn / /

ProgrammingLanguage

Objective Caml / ML / Java / L / /

Technology

Alpha / functional programming / Virtual Machine / RAM / Java / /

SocialTag