Skip to search formSkip to main contentSkip to account menu

Lisp

Known as: Lisp (disambiguation), MuLISP, Lithp (programming language) 
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAI winterActor-Based Concurrent LanguageAdvice (programming)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Object Database vs. Object-Relational Databases
When you don't know where you want to go, any road will take you there. Users need to understand the differences between object… 
2003
2003
Modeling of a slotted MAC protocol for MANETs
Global positioning systems like GPS or GALLILEO will soon provide a very good timing accuracy, making possible the… 
2002
2002
Reflective Software Engineering - From MOPS to AOSD
The role of Aspect Oriented Software Development (AOSD) to unravel the complex tangled programs in reflective software… 
1993
1993
A model checker for statecharts (linking case tools with formal methods)
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in… 
1991
1991
VLSI for Artificial Intelligence and Neural Networks
A selection of 39 papers present novel and emerging approaches to VLSI implementation of machines for artificial intelligence and… 
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they… 
1989
1989
The Ada® Generic Library: Linear List Processing Packages
The Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase… 
1987
1987
SPUR Lisp: Design and Implementation
This document describes SPUR Lisp a Common Lisp superset designed and implemented at U.C. Berkeley. Function calling sequences… 
1977
1977
A Summary of the PSI Program Synthesis System
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using… 
1975
1975
Introducing iteration into the Pure Lisp theorem prover
It is shown how the Lisp iterative primitives PROG, SETQ, GO, and RETURN may be introduced into the Boyer-Moore method for… 
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)