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


A Guide to VLISP, A Veri ed Programming Language Implementation J. D. Guttman L. G. Monk
Add to Reading List

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

Open Document

File Size: 354,64 KB

Share Result on Facebook

Company

Low Error Software / Rome Laboratories / The MITRE Corporation / /

Facility

Component Scheme Standard Library / Northeastern University / Harvard University / /

IndustryTerm

software system / assurance systems / careful software / sparc processor / /

Organization

United States Air Force / Harvard University / Northeastern University / /

Person

Dino Oliva / Mitchell Wand / David Carlton / W. M. Farmer / Northrup Fowler III / /

Position

Professor / designer / garbage collector / Byte Code Compiler Virtual Machine Interpreter / applications programmer / Interpreter / /

Product

C-0001 / Scheme / /

ProgrammingLanguage

C / Lisp / /

Technology

Virtual Machine / sparc processor / 1.1 Representing Algorithms / /

SocialTag