VLISP a verified implementation of scheme

VLISP a verified implementation of scheme

Saved in:

Bibliographic Details
Other Authors:	Guttman, Joshua D, Wand, Mitchell
Format:	Unknown
Published:	Boston Kluwer Academic 1995
Subjects:	LISP (Computer program language)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LISP, a portable implementation
by: Hekmatpour, Sharam 1961-
Published: (1989)

LISP a gentle introduction to symbolic computation
by: Touretzky, David S
Published: (1984)

LISP lore a guide to programming the LISP machine
by: Bromley, Hank
Published: (1987)

Understanding LISP
by: Gloess, Paul Y
Published: (1982)

LISP 1.5 programmer's manual
by: McCarthy, John
Published: (1979)

Let's talk LISP
by: Siklossy, Laurent
Published: (1976)

The programming language LISP its operation and applications.
by: Berkeley, Edmund Callis
Published: (1967)

Essential LISP
by: Anderson, John R. 1947- (John Robert)
Published: (1987)

LISP
by: Queinnec, Christian
Published: (1984)

LISP, lore, and logic an algebraic view of LISP programming, foundations, and applications
by: Stark, W. Richard
Published: (1990)

Common LISP an interactive approach
by: Shapiro, Stuart Charles
Published: (1992)

Introduction to LISP and symbol manipulation
by: Hekmatpour, Sharam 1961-
Published: (1988)

Symbolic computing with Lisp
by: Cameron, Robert D
Published: (1992)

LISP, objects, and symbolic programming
by: Kessler, Robert R
Published: (1988)

Pengenalan pengaturcaraan LISP
by: Zalmiah Zakaria
Published: (2006)

Using autolisp with auto CAD
by: McFarlane, Robert
Published: (1998)

Learning LISP
Published: (1984)

The art of Lisp programming
by: Jones, Robin
Published: (1990)

LISPcraft
by: Wilensky, Robert 1951-
Published: (1984)

Looking at LISP
by: Hasemer, Tony
Published: (1984)

The programmer's introduction to LISP
by: Maurer, Ward Douglas 1938-
Published: (1972)

Lisp
by: Winston, Patrick Henry
Published: (1989)

LISP
by: Winston, Patrick Henry
Published: (1984)

Common Lisp a tutorial
by: Milner, Wendy L
Published: (1988)

Golden common LISP a hands-on approach
by: Steele, David J
Published: (1989)

A practical guide to AutoCAD AutoLISP
by: Bousfield, Trevor
Published: (1998)

Common LISP a gentle introduction to symbolic computation
by: Touretzky, David S
Published: (1990)

The Common Lisp companion
by: Koschmann, Timothy D
Published: (1990)

Practical AutoLISP
by: Stellman, Thomas A
Published: (1990)

ANSI common lisp
by: Graham, Paul
Published: (1996)

Introduction to COMMON LISP
by: Yuasa, T. Taiichi
Published: (1987)

Common Lisp drill
by: Yuasa, T. Taiichi
Published: (1988)

Essential AutoLISP
by: Harkow, Roy
Published: (1996)

RLISP '88 an evolutionary approach to program design and reuse
by: Marti, Jed
Published: (1993)

LISP the language of artificial intelligence
by: Berk, A. A
Published: (1985)

Parallel lisp systems a study of languages and architectures
Published: (1993)

Structure and interpretation of computer programs
by: Abelson, Harold
Published: (1985)

Structure and interpretation of computer programs
by: Abelson, Harold
Published: (1985)

Common Lisp programming for artificial intelligence
by: Hasemer, Tony
Published: (1989)

Artificial intelligence with Common Lisp fundamentals of symbolic and numeric processing
by: Noyes, James L
Published: (1992)