The LISP70 pattern matching system

Authors:
Lawrence G. Tester;Horace J. Enea;David C. Smith
Affiliations:
Palo Alto Research Center, Xerox Corporation and Department of Computer Science, Stanford University, Stanford, California;Department of Computer Science, Stanford University, Stanford, California;Department of Computer Science, Stanford University, Stanford, California
Venue:
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Year:
1973

Citing 10
Cited 0

Requirements for advanced programming systems for list processing

Communications of the ACM
Levels of language for portable software

Communications of the ACM
ELIZA—a computer program for the study of natural language communication between man and machine

Communications of the ACM
The next 700 programming languages

Communications of the ACM
CONVERT

Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
Extensible languages: A potential user's point of view

Proceedings of the international symposium on Extensible languages
The LISP 2 programming language and system

AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
ETC: an extendible macro-based compiler

AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
The ECL programming system

AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

LISP70 is a descendant of LISP which emphasizes pattern-directed computation and extensibility. A function can be defined by a set of pattern rewrite rules as well as by the normal LAMBDA method. New rewrite rules can be added to a previously defined function; thus a LISP70 function is said to be "extensible". It is possible to have new rules merged in automatically such that special cases are checked before general cases. Some of the facilities of the rewrite system are described and a variety of applications are demonstrated.