LISP MACHINE


LISP MACHINE

A BIDIRECTIONAL, TRANSFER-DRIVEN MACHINE TRANSLATION SYSTEM FOR SPOKEN ...
IMPLEMENTATION 4.1 System specification The bidirectional TDMT system has been developed in Common Lisp and runs either on a Sun Workstation or Symbolics Lisp Machine.
http://acl.ldc.upenn.edu/C/C94/C94-1007.pdf

The IdahoPartitioning Machine: An ACL2 Model
4 CONTENTS AACL2 Codefor Partitioning Machine 35 A.1 util.LISP.. 35 A.2 update-equiv.LISP.. 39 A.3 mem.LISP
http://www.csds.uidaho.edu/IPM/am-final-report2.pdf

Performance Comparison of the Window Systems of Two LISP Machines
Knight, ct. al., "The Lisp Machine," In Interactive Programming Environments, edited by Barstow, Shrobe and Sandewall. 1984. 2. Jain, R.K., and [. Chlamtac, "The p2 Algorithm for
http://www.cse.wustl.edu/~jain/papers/ftp/lisp.pdf

Cana 40yearold Computer Language do Web Applications? Using CommonLisp ...
In essence, a Lisp Machine was: ?asingle-user minicomputer-class 4 machine ?specially micro-code d5 to run Lisp ?capable of supportinga complete Lisp Development Environment in
http://homepage.mac.com/nickypeeters/lispification.pdf

About Lisp ...or Lambda, the ultimate lecture
Lisp HistoryII 1960'suntiltheearly 1980's ?MacLisp ( a) on the PDP-10 andHoneywell 6180 (under Multics) MacLispwould later become Zetalisponthe Lisp-Machine and Scheme.
http://yrk.nfshost.com/docs/lisp.pdf

INTEGRATED INFORMATION MANIPULATION SYSTEMS (IMS) - A COGNITIVE VIEW
The LISP Machine (WEINREB & MOON, 1979) and the SMALLTALK Machine (as a first step toward the idea of a "DYNABOOK"; KAY 1977) are first examples of the technology we have in mind. The
http://acl.ldc.upenn.edu/C/C80/C80-1087.pdf

AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java
A Thermostat Simulation 244 Exercises 250 Chapter 19 Machine Learning in Lisp 251 19.1 Learning: The ID3 Algorithm 251 19.2 Implementing ID3
http://www.cs.unm.edu/~luger/ai-final/supplement-book-preface.pdf

Point of View Lisp as an Alternative to Java
They also consume much more memory." We repeated Prechelt's study using Lisp as the but essentially unchanged), the same program input files, and the same kind of machine for
http://www.flownet.com/gat/papers/lisp-java.pdf

Symbolics 36XX
There are other defining forms for atomic micros. 1.4 Running the Compiler On a Lisp machine, load the file F:>LMach>Ucode>SYSDCL.LISP then do (make-system 'micro).
http://www.ugcs.caltech.edu/~weel/lispm/microcode.pdf

Working Paper
MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY Working Paper 79 November 1974 THE LISP MACHINE Richard Greenblatt This work was conducted at the
http://dspace.mit.edu/bitstream/handle/1721.1/41114/AI_WP_079.pdf?sequence=4

Functions, recursion and lists
A program is an expression based on function abstractions and applications ? First class functions and higher-order functions ? Abstract view of memory (the Lisp abstract machine)
http://www.cs.utsa.edu/~qingyi/cs3723/slides/Lisp.pdf

The Legacy of Lisp "Observations/Rants"
PL/I experience ?7090 (32KW) Timesharing ?PDP-10 (256KW) ITS Lisp experience ?PDP-8 (4KW) experience ?Lisp Machine (2-8KW) experience ?Spent ½of career fighting memory issues
http://international-lisp-conference.org/2005/media/baker-slides.pdf

FREEDIUS: An Open Source Lisp-Based Image Understand ing Environment
of Image Understanding tools developed at SRI International (SRI) over the last three decades. These tools were written in Lisp, and originally targeted the Symbolics Lisp Machine as
http://www.ai.sri.com/pubs/files/1543.pdf

Design of CMU Common Lisp
Abstract This report documents internal details of the CMU Common Lisp compiler and run The virtual machine may vary depending on the the target hardware, but VMR is sufficiently
http://common-lisp.net/project/cmucl/doc/CMUCL-design.pdf

1987 - Recent Developments in Butterfly(TM) Lisp
at MIT by members of the Scheme Team. The Butterfly Lisp User Interface (which leads to the rather unfortunate acronym BLUI) is implemented on a Symbolics 3600-series Lisp Machine and
http://www.aaai.org/Papers/AAAI/1987/AAAI87-001.pdf

CHAPTER 1 GETTING STARTED
This might involve simply turning on your microcomputer or it might require typing in some accounting information. If you are using a LISP machine or have "booted" a microcomputer
http://www.ecst.csuchico.edu/~renner/csci580/Labs/Lisp/lab%231.pdf

LISP|NOTES ON ITS PAST AND FUTURE|1980
nicely on simple examples, but which leads to over complicated systems when generalized. We can see this in LISP in certain macro expansion systems like that of the LISP machine
http://www-formal.stanford.edu/jmc/lisp20th.pdf

CHAPTER 3 LISTS
Try that. If you are using some kind of LISP Machine, you may have a CLEAR INPUT key. Press it. Otherwise, try pressing the interrupt character to get into the debugger (see Exercise 1
http://www.ecst.csuchico.edu/~renner/csci580/Labs/Lisp/lab%233.pdf

Lively Linear Lisp ? 'Look Ma, No Garbage!'1
Our Linear Lisp Machine offers many of the same capabilities as combinator/graph reduction machines, but without their copying and garbage collection problems. Introduction Neither a
http://www.cs.utexas.edu/~hunt/research/hash-cons/hash-cons-papers/BakerLinearLisp.pdf

MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE ...
Steele, Jr. Abstract The CADR machine, a revised version of the CONS machine, is a general-purpose, 32-bit microprogrammable processor which is the basis of the Lisp-machine system
http://www.unlambda.com/lispm/memo528.pdf

The M.I.T. Press, 1962
These expressions will therefore be called M-expressions. Third, LISP can interpret and execute programs written in the form of S-expressions. Thus, like machine language, and
http://www.lispmachine.net/books/LISP_1.5_Programmers_Manual.pdf

title page
Preface This book is intended for anyone who wants to become abetter Lisp programmer. It assumes some familiarity with Lisp, but not necessarily extensive programming experience.
http://www.lispmachine.net/books/on_lisp.pdf

History of the Lisp Language
One response to the address space problem was the Lisp Machine, a special-purpose computer designed to run Lisp programs. The other response was to use general-purpose computers with
http://www.csee.umbc.edu/331/resources/papers/Brief-History-of-Lisp.pdf

Recursive Functions of Symbolic Expressions and Their Computation by ...
Writing a compiler to compile LISP programs into machine language. 2. Writing a program to check proofs in a class of formal logical systems. 3.
http://www-formal.stanford.edu/jmc/recursive.pdf

Lisp: Good News, Bad News, How to Win Big
was Portable Standard Lisp, which ran on many machines, but very few people wanted to use it; the fourth most standard Lisp was Zetalisp, which ran on two varieties of Lisp machine
http://www.dreamsongs.com/Files/LispGoodNewsBadNews.pdf

THE LISP MACHINE : NOBLE EXPERIMENT OR FABULOUS FAILURE ?
T HE L ISP M ACHINE : N OBLE E XPERIMENT OR F ABULOUS F AILURE ? P. T. Withington Symbolics, Inc. The "Lisp Machine", a custom computer work-station designed specifically for the
http://pt.withington.org/publications/LispM.pdf

Programming Languages as Operating Systems (orRevengeofthe Son of the ...
Programming Languages as Operating Systems (orRevengeofthe Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Matthias Felleisen Department of
http://www.ccs.neu.edu/scheme/pubs/icfp99-ffkf.pdf

NY Massachusetts????Europe
MacLisp Family SAIL MacLisp Franz S-1 Lisp CMU Spice Lisp Multics NIL PDP-6 LISP MacLisp Lisp Machine Lisp VLISP MacLisp LISP MacLisp Zetalisp
http://www.dreamsongs.com/NewFiles/Hopl2Slides.pdf

THE SYMBOLICS VIRTUAL LISP MACHINE
s ubmitted to pldi '94 3 n overmber 1993 e xtended a bstract t he s ymbolics v irtual l isp m achine or u sing the dec a lpha as a p rogrammable m icro -engine 1 (e xtended a
http://pt.withy.org/publications/VLM.pdf