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


A Veri ed Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu
Add to Reading List

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

Open Document

File Size: 324,08 KB

Share Result on Facebook

City

Boston / /

Company

MITRE Inc. / /

Country

United States / /

/

Event

Person Communication and Meetings / /

Facility

College Of Computer Science Northeastern University / /

Organization

Northeastern University / /

Person

Richard Kelsey / Joshua Guttman / John Ramsdell / Jonathan Rees / /

Position

resulting interpreter / translator / garbage collector / opcode interpreter / /

ProgrammingLanguage

Latex / /

ProvinceOrState

Massachusetts / /

Technology

Virtual Machine / ascii / /

SocialTag