Back to Results
First PageMeta Content
Type theory / Data types / Common Intermediate Language / Type system / Type safety / C Sharp / .NET Framework / Objective-C / Pointer / Computing / Software engineering / Computer programming


Certified In-lined Reference Monitoring on .NET∗ Kevin W. Hamlen Cornell University Greg Morrisett Harvard University
Add to Reading List

Document Date: 2005-11-12 14:40:18

Open Document

File Size: 413,74 KB

Share Result on Facebook

City

Introduction Language / /

Company

Intel Corporation / Microsoft / /

Facility

Hamlen Cornell University Greg Morrisett Harvard University Fred B. Schneider Cornell University / /

IndustryTerm

trusted computing base small / type-checking algorithm / trusted computing base / type systems / /

OperatingSystem

L3 / /

Organization

Harvard University / National Science Foundation / U.S. Government / Cornell University / /

Position

type qualifier / code producer / producer / /

ProgrammingLanguage

Java bytecode / R / C / Common Intermediate Language / Java / /

Technology

alpha / virtual machine / type-checking algorithm / Execution Monitoring technologies / Dom / Java / /

SocialTag