Back to Results
First PageMeta Content
Data types / Type theory / Object-oriented programming / Model theory / C++ / Type safety / Type system / Denotational semantics / Subtype polymorphism / Software engineering / Computing / Programming language theory


Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University
Add to Reading List

Document Date: 2009-06-25 20:03:38

Open Document

File Size: 1,96 MB

Share Result on Facebook

City

Chicago / /

Company

LTAL / Microsoft Corporation / TML Lc / /

Country

India / /

Facility

Princeton University / Toyota Technological Institute / Lehigh University / /

IndustryTerm

industrial software artifact / bank / smallest-possible trusted computing base / trusted computing base / type systems / sound type systems / register bank / /

Organization

Cornell / Foundation for Semantic Models / Princeton University / Lehigh University / Toyota Technological Institute / /

Person

ANDREW W. APPEL / GANG TAN / C. Wang Recursive / AMAL AHMED / Michael / CHRISTOPHER D. RICHARDS / DANIEL C. WANG / KEDAR N. SWADI / /

Position

Software/Program Verification General / /

Product

Microsoft Corporation Portable Audio Device / Twelf system / Twelf / /

ProgrammingLanguage

Assembly Language / Java / R / C / ML / /

Technology

Java / dom / /

SocialTag