Searching for "The VLISP Verified Scheme System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The VLISP Verified Scheme System
by Joshua Guttman, Vipin Swarup, John Ramsdell — 1995 — Lisp and Symbolic Computation
… Verified Scheme System * JOSHUA GUTTMAN guttman@(email omitted); VIPIN SWARUP swarup@(email omitted); JOHN RAMSDELL…
Cited by 13 (2 self) – Add To MetaCart

Towards a verified, general-purpose operating system kernel
by Jonathan Shapiro, Ph. D, Michael Scott Doerrie, Eric Northup, Mark Miller — 2004 — In Klein [10
… suitable language. See: The VLISP Verified Scheme System [5]. The Hopkins Systems Research Laboratory…
Cited by 12 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB