Back to Results
First PageMeta Content
Programming language theory / Programming language semantics / Programming language implementation / Compiler construction / Denotational semantics / PreScheme / Compiler / Formal methods / Programming language / Software engineering / Theoretical computer science / Logic in computer science


c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands Results and Conclusions from the VLISP Veri cation
Add to Reading List

Document Date: 2010-10-22 08:05:11

Open Document

File Size: 287,24 KB

Share Result on Facebook

City

Bedford / /

Company

Rome Laboratories / The MITRE Corporation / /

/

Facility

College of Computer Science / Cullinane Hall Northeastern University / /

IndustryTerm

by-products / abstract algorithm / correct software / software engineering techniques / rule applications / abstract algorithms / compilation algorithms / call site / /

Organization

Cullinane Hall Northeastern University Boston / College of Computer Science / United States Air Force / Electronic Systems Command / /

Person

Richard Kelsey / JOSHUA GUTTMAN / Jonathan Rees / /

Position

byte code interpreter / garbage collector / interpreter / /

Product

C-0001 / /

ProgrammingLanguage

Scheme48 / /

ProvinceOrState

Massachusetts / /

TVStation

WAND / /

Technology

Virtual Machine / abstract algorithm / abstract algorithms / compilation algorithms / /

SocialTag