Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,088,093 papers from all fields of science
Search
Sign In
Create Free Account
Lisp
Known as:
Lisp (disambiguation)
, MuLISP
, Lithp (programming language)
Expand
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
AI winter
Actor-Based Concurrent Language
Advice (programming)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
Modeling of a slotted MAC protocol for MANETs
M. Coupechoux
2003
Corpus ID: 12202765
Global positioning systems like GPS or GALLILEO will soon provide a very good timing accuracy, making possible the…
Expand
1998
1998
The P rototype-Instance Object Systems in Amulet and Garnet
B. Myers
,
Richard G. McDaniel
,
+4 authors
A. Mickish
1998
Corpus ID: 12990353
This Working Paper is brought to you for free and open access by the School of Computer Science at Research Showcase. It has been…
Expand
1997
1997
Limiting State Explosion with Filter-Based Re nement
David A. SchmidtKansas
1997
Corpus ID: 14870387
interpretation: AbsStore = fe; og a x<3 ! a for a 2 AbsStore a :(x<3) ! a for a 2 AbsStore e x:=x+1 ! o o x:=x+1 ! e Abstract…
Expand
1995
1995
Simulating agents and their environments
D. Davis
,
A. Sloman
,
R. Poli
1995
Corpus ID: 17316979
This paper describes a toolkit that arose out of a project concerned with designing an architecture for an autonomous agent with…
Expand
1993
1993
A model checker for statecharts (linking case tools with formal methods)
N. A. Day
1993
Corpus ID: 60739372
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in…
Expand
1986
1986
LISP. Second edition
P. Winston
,
B. Horn
1986
Corpus ID: 60662363
In this edition, the authors redirect the orientation of the text towards the Common LISP dialect, an amalgam of the features of…
Expand
1986
1986
Designing new languages or new language manipulation systems using ML
P. Jouvelot
SIGP
1986
Corpus ID: 44654260
The ML language and the denotational theory of programming languages fit together to yield a powerful tool in (new) language…
Expand
1986
1986
A Parallel Inference Machine
Tanaka
Computer
1986
Corpus ID: 16462994
Presented here ia a parallel machine architecture, PIE, which the author expects to be the base for highly parallel inference…
Expand
1982
1982
List Processing with a Data Flow Machine
M. Amamiya
,
R. Hasegawa
,
H. Mikami
RIMS Symposium on Software Science and…
1982
Corpus ID: 32298299
1977
1977
A Summary of the PSI Program Synthesis System
C. Green
International Joint Conference on Artificial…
1977
Corpus ID: 26263841
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…
Expand