Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / PreScheme / Scheme programming language / Denotational semantics / Operational semantics / System programming language / Compiler / Programming language / Software engineering / Computing / Programming language theory


A Veri ed Compiler for Multithreaded PreScheme 1 William M. Farmer
Add to Reading List

Document Date: 2010-10-22 08:04:41

Open Document

File Size: 753,31 KB

Share Result on Facebook

Company

The MITRE Corporation / /

/

IndustryTerm

highassurance systems / assurance systems / /

Organization

United States Army / /

Position

Farmer / farmer / ramsdell @mitre.org / /

ProgrammingLanguage

Assembly Language / /

SocialTag