MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Vipin Swarup" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • 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
  • VLISP: A verified implementation of Scheme  
  • by Joshua Guttman, Vipin Swarup, John Ramsdell — 1995 — Lisp and Symbolic Computation
  • … (guttman@(email omitted);) VIPIN SWARUP (swarup@(email omitted);) JOHN RAMSDELL (ramsdell@(email omitted);) Abstract. vlisp has…
  • Cited by 39 (3 self) – Add To MetaCart
  • The VLISP Image Builder  
  • by Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell — 1992
  • …The VLISP Image Builder Vipin Swarup William M. Farmer Joshua D. Guttman Leonard G. Monk and John D…
  • Cited by 2 (2 self) – Add To MetaCart
  • The VLISP Linker  
  • by William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, Vipin Swarup — 1992
  • …The VLISP Linker William M. Farmer Joshua D. Guttman Leonard G. Monk John D. Ramsdell Vipin Swarup…
  • Cited by 2 (2 self) – Add To MetaCart
  • VLISP Byte Code Interpreter  
  • by Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell — 1992
  • …VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Joshua D. Guttman Leonard G. Monk John D…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB