Back to Results
First PageMeta Content
Programming language implementation / Type theory / Procedural programming languages / Compiler construction / Functional languages / Compiler / Type inference / Type system / Type safety / Software engineering / Computing / Programming language theory


Scalable Certiļ¬cation for Typed Assembly Language Dan Grossman and Greg Morrisett 
Add to Reading List

Document Date: 2001-03-05 11:41:46

Open Document

File Size: 233,71 KB

Share Result on Facebook

Company

TALx86 / Intel / Shao and associates / /

Event

Reorganization / /

IndustryTerm

proof-carrying code technology / trusted computing base / type systems / on-line common-subexpression elimination / generalpurpose type systems / lowlevel systems / expressive systems / /

Organization

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

Person

Greg Morrisett / Dan Grossman / /

Position

compiler writer / code producer / /

Product

Popcorn / /

ProgrammingLanguage

J / E / Assembly Language / ML / Java / L / /

Technology

Alpha / proof-carrying code technology / Virtual Machine / Java / /

SocialTag