Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,317,605 papers from all fields of science
Search
Sign In
Create Free Account
Interlisp
Known as:
INTERLISP-D
, Interlisp-10
Interlisp (also seen with a variety of capitalizations) is a programming environment built around a version of the Lisp programming language…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
ACM Software System Award
Advice (programming)
BBN LISP
BSD
Expand
Broader (1)
Lisp
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
History of Interlisp
W. Teitelman
LISP50
2008
Corpus ID: 13916609
I was first introduced to Lisp in 1962 as a first year graduate student at M.I.T. in a class taught by James Slagle. Having…
Expand
1990
1990
Structural design language for coupled knowledge-based systems
Y. Paek
,
H. Adeli
1990
Corpus ID: 62634652
1990
1990
Generating program animators from programming language semantics
D. Berry
1990
Corpus ID: 38983708
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be…
Expand
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
M. Stefik
,
D. Bobrow
,
S. Mittal
,
L. Conway
The AI Magazine
1989
Corpus ID: 2712977
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they…
Expand
1987
1987
Interlisp: The Language and Its Usage
S. Kaisler
,
L. A. Gladwin
IEEE Expert
1987
Corpus ID: 21465084
Introduction Lisp Data Structures Primitive Functions Fundamental Predicates Logical Connectives and Predicates List Manipulation…
Expand
1986
1986
Reconfigurable, retargetable bignums: a case study in efficient, portable Lisp system building
Jon L. White
LFP '86
1986
Corpus ID: 16348508
In the paper, use of names like '-F&' and '*&' will imply these semantics, and furthermore, the Lucid Common Lisp compiler ought…
Expand
1984
1984
A Forward Inference Engine to Aid in Understanding Specifications
D. Cohen
AAAI Conference on Artificial Intelligence
1984
Corpus ID: 8008917
An important part of understanding a specification is recognizing the consequences of what is stated. We describe a program that…
Expand
1978
1978
Experience with a microprogrammed Interlisp system
L. Deutsch
MICRO 11
1978
Corpus ID: 42444342
This paper presents the design of an Interlisp system running on a microprogrammed minicomputer. We discuss the constraints…
Expand
1976
1976
INTERLISP Performance Measurements
R. Bobrow
,
M. Grignetti
1976
Corpus ID: 59813663
Abstract : This report describes measurements performed for the purpose of determining areas of potential improvement to the…
Expand
1973
1973
INTERLISP
W. Teitelman
SGAR
1973
Corpus ID: 218688167
INTERLISP (INTERactive LISP) is a LISP system currently implemented on the DEC PDP-10 under the BBN TENEX time sharing system<*R1…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE