Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Interlisp
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1990
1990
Pattern matching is a key concept for rule-based expert systems. Simple pattern interpreters appear in nearly every book on Lisp… Expand
1985
1985
Abstract : Rum is a theory of applicative, side-effect free computations over an algebraic data structure. It goes beyond a… Expand
1985
1985
A common program optimization strategy is to eliminate recomputation by caching and reusing results. We analyze the problems… Expand
1983
1983
The representation used in a domain-independent planning program that supports both automatic and interactive generation of… Expand
1983
1983
This work discusses some issues in the debugging of concurrent programs. A set of desirable characteristics of a debugger for… Expand
Highly Cited
1981
Highly Cited
1981
Integration, extensibility, and ease of modification made Interlisp unique and powerful. Its adaptations will enhance the power… Expand
1981
1981
AIPS is a system for graphically presenting information. It promotes a high degree of interactivity between a user and a… Expand
1978
1978
This paper presents the design of an Interlisp system running on a microprogrammed minicomputer. We discuss the constraints… Expand
1976
1976
Abstract : The INTERLISP Virtual Machine is the environment in which the INTERLISP System is implemented. It includes such… Expand
1975
1975
This paper presents some programming facilities for modeling the semantics of a task domain and for describing the situations… Expand